usine et les machines utilisées dans les mines de charbon