Règlement général sur l'exploitation des carrières — France