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