logiciel de planification de la mine dans le secteur du charbon