DEMI-SECTION définition

DEMI-SECTION

[T.S.] Moitié supérieure (calotte) ou inférieure (stross) d'une galerie lorsqu'une excavation est réalisée en deux étapes. V. ill. Galeries.
Trouvé sur https://www.editions-eyrolles.com/Dico-BTP/definition.html?id=3189

---