general inspector of quarries — French official position