Traité des Arènes&#13;exploitations de mines de houille by Crassier, L.-M.-G de
 is a Project Gutenberg book, now on Github.