la gestion des mines de charbon