CHAPITRE NEUVIEME
noiSAGE ET MC RAILLE MENT DES TRAVAUX DE MINES.
Choix et préparation des bois employés dans les mines ; boisage des gâteries et des tailles; boisage des puits.
Boisages pour contenir les eaux ; cuvclnge* en bois, picotage -, curetages en fonte ; constructions des serrements dans les galeries et dans le^ puits.
Muraillemcnt des ouvrages souterrains; muraillement des galeries à grande section ; détails sur le percement des tunnels; muraillcment des puits; résumé des méthodes appliquées au tunnel sous la Tamisp.