logiciels pour les mines de charbon