Ministère de l'Industrie et de l'énergie. Direction des Mines et de la sidérurgie. Règlements généraux sur l'exploitation des mines de combustibles minéraux solides — France. Direction des mines