l industrie minière des métaux et du ciment