gravois

Littré (1873)

s. m. pl.

1. La partie la plus grossière du plâtre après qu'on l'a sassé. Battre les gravois. 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.

   N'est-ce pas vouloir juger d'un bâtiment par les gravois, ou de toute autre construction par les recoupes des matériaux ? — Buffon (1707-1788)

2. Débris d'une muraille, d'un bâtiment. Enlever les gravois.

Étymologie : Même radical que dans gravier (voy. GRAVE 2).

Historique : XIIIe s. Quant del mangier furent levé Et li baron orent lavé, Fors issirent sor li gravoi XIVe s. Que toutes manieres de boes, gravois, fussent ostées et mises hors des voiries XVIe s. Loger l'artillerie en des tranchées faites dedans des pierres et gravois

Émile Littré, Dictionnaire de la langue française — domaine public. Numérisation XMLittré, François Gannaz (CC BY-SA 3.0).