Réglementation de l'exploitation des carrières — France. Direction des journaux officiels