la technologie dans les mines de charbon