instrument utilis dans les mines de charbon raymond moulin