Traité pratique de l'exploitation des mines. Trois tomes