l industrie et l exploitation minière machines