la gestion des risques dans les mines de charbon