Manuel pratique des travaux d'exploitation des mines par les procédés les plus récents, pour les contre-maîtres et les ouvriers mineurs — Jules Devilerdeau