Règlement général sur l'exploitation des mines autres que les mines de combustibles minéraux solides et les mines d'hydrocarbures exploitées par sondage — France. Ministère de l'industrie et du commerce (1952-1959)