Ministère de l'Industrie et du commerce. Direction des Mines. Recueil de textes et circulaires concernant les délégués mineurs et les délégués à la surface — France. Direction des mines