general inspector of quarries - French official position