trou
- Domaine
-
- industrie minière
Définition :
Puits par lequel on remonte les blocs de pierre d'une carrière souterraine.
Terme :
- trou n. m.
Terme associé :
- trou de service n. m.
-
On dit aussi trou de service, particulièrement lorsqu'on exécute un puits pour accéder dans une ancienne carrière que l'on doit consolider pour construire au-dessus d'elle.