la technologie dans les mines