progrès de la technologie minière