industrie minière globale et les progrès technologiques