Ministère de l'industrie et du commerce. Conseil général des mines. La Sécurité des mines, minières et carrières en 1945 — France. Conseil général des mines