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