Définition de GRAVOIS

DÉFINITIONS - HISTORIQUE - ÉTYMOLOGIE -

Prononciation : gravoî ; l's se lie : des gra-voî-z entassés

DÉFINITIONS

1
La partie la plus grossière du plâtre après qu'on l'a sassé. Battre les gravois.
N'est-ce pas vouloir juger d'un bâtiment par les gravois, ou de toute autre construction par les recoupes des matériaux ?
de Georges Louis Leclerc, comte de BUFFON dans 4e épît. nat. Oeuv. t. XII, p. 122
Sémantique : Fig. et populairement. Battre les gravois, venir manger le lendemain les restes d'un festin. Nous avions hier beaucoup de monde à dîner ; venez battre avec nous les gravois.
On dit aussi gravats.
2
Débris d'une muraille, d'un bâtiment. Enlever les gravois.

HISTORIQUE

1
XIIIe s.
Quant del mangier furent levé Et li baron orent lavé, Fors issirent sor li gravoi
dans Lai de Melion
2
XIVe s.
Que toutes manieres de boes, gravois, fussent ostées et mises hors des voiries
de Victor Henri-Joseph Brahain, dit DU CANGE dans chanterium.
3
XVIe s.
Loger l'artillerie en des tranchées faites dedans des pierres et gravois
de CASTELNAU dans 157

ÉTYMOLOGIE

1
Même radical que dans gravier (voy. GRAVE 2).

Termes proches de GRAVOIS