machine pour les mines de charbon