Règlement général sur l'exploitation des mines de combustibles minéraux solides — France