processus d'exploitation des mines et des mines de charbon