outils dexploration des mines de charbon