Gros de mur définition

gros de mur

[nom] Entretoise en bois, métal, béton ou matière plastique, servant à régler et maintenir l’espacement entre deux banches
Trouvé sur https://fr.wiktionary.org/wiki/gros_de_mur

---