technologie utilisée dans l'industrie du ciment dans l'exploitation minière