gros de mur \ɡʁod.myʁ\ (locution nominale) : Entretoise en bois, métal, béton ou matière plastique, servant à régler et maintenir l’espacement entre deux banches Parmi ses synonymes : étrésillon.
Synonymes de gros de mur
étrésillon· étrésillonnet
Définitions
Locution nominale \ɡʁod.myʁ\
- Entretoise en bois, métal, béton ou matière plastique, servant à régler et maintenir l’espacement entre deux banchesOn place un gros de mur ou un étrésillonnet au droit de chaque paire d’aiguilles, et les aiguilles elles-mêmes sont arrêtées ensemble au-dessus du moule par une corde qu’on serre au moyen d’un tourniquet K.
Étymologie
Composé de gros et de mur.
Mots voisins
gros bonnet· gros buccin· gros cabernet· gros comme une maison· gros cul· gros de langue· gros décimateur· gros intestin· gros lot· gros malin· gros manseng de Lucq· Gros Michel
Sources
- « gros de mur », Wiktionnaire, le dictionnaire libre. Texte sous licence CC BY-SA 4.0.
Une erreur, un synonyme manquant ? Corrigez la page du Wiktionnaire : la prochaine mise à jour de Synonyma la reprendra.