École spéciale des travaux publics, du bâtiment et de l'industrie. M. Léon Eyrolles, directeur. Cours d'exploitation des mines — Louis Gruner