Réglement général sur l'exploitation des mines de combustibles minéraux solides — France. Ministère de l'industrie et du commerce (1940-1951)