Ministère du travail. Direction générale du travail et de la main-d'oeuvre. 5e bureau. Guide à l'usage des délégués à la sécurité des ouvriers mineurs — France. Direction de la main-d'oeuvre