procédure d exécution des mines de charbon