Règlement général des industries extractives — France