La Géométrie souterraine, ou traité de géométrie practique appliqué à l'usage des travaux des mines — Antoine de Genssane