Comment on descend sous terre, le matériel employé et la manière de s'en servir. 3e édition, revue et augmentée — Robert de Joly