machines utilisées dans les mines de charbon