secteur de l industrie minière souterraine