Règlement général sur l'exploitation des mines autres que les mines de combustibles — France. Ministère des travaux publics (1932-1940)