outils et machines utilisés dans les mines de charbon