utilisé dans les mines de charbon