électrique utilisé dans les mines de charbon