GARDE-GRAVOIS définition

GARDE-GRAVOIS

[Couv.] Planche disposée en partie basse du comble pour éviter la chute de gravois garde-gravois 371 lors de l'exécution des travaux de couverture.
Trouvé sur https://www.editions-eyrolles.com/Dico-BTP/definition.html?id=4625

---