gros de mur

Composé de gros et de mur.

gros de mur \ɡʁod.myʁ\ masculin

1. (Maçonnerie) Entretoise en bois, métal, béton ou matière plastique, servant à régler et maintenir l’espacement entre deux banches
   • Ces aiguilles sont maintenues du bas par les coins c, et du haut par une entretoise dd, nommée gros de mur, contre laquelle on les serre au moyen d’un écheveau de corde et d’un tourniquet. Les gros de mur sont ainsi nommés parce que ce sont eux qui règlent l’épaisseur des murs— (Théodore Bona, Manuel des constructions rurales, 1861.)
   • On 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.— (Urbain Vitry, Le propriétaire architecte, contenant des modèles de maisons de ville et de campagne, de fermes, orangeries, portes, puits, fontaines, etc., ainsi qu’un traité d’architecture et de construction renfermant le résumé des nouvelles découvertes relatives aux constructions. Ouvrage utile aux architectes, aux ingénieurs, aux entrepreneurs et principalement aux personnes qui veulent diriger elles-mêmes leurs ouvriers, Parties 1 à 2, 1827)
   • Ce système de coffres dont les faces sont tenues ensemble par des vis traversant des « gros de mur » est suffisamment rigide pour être manipulé par la grue sans se déformer (Le « gros de mur » est soit un petit potelet en béton préfabriqué percé suivant son axe longitudinal, soit un système de cadre raidisseur en béton armé préfabriqué à utiliser en cas de trumeaux de forme très compliquée).— (Institut technique du bâtiment et des travaux publics (France), Annales de l’Institut technique du bâtiment et des travaux publics, volume 8, 1955)