instrument utilisé dans les mines de charbon