gravois s. m. pl. (gravoî ; l's se lie : des gra-voî-z entassés)
-
1La 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 ?
Buffon, 4e épît. nat. Œuv. t. XII, p. 122
-
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.
-
2Débris d'une muraille, d'un bâtiment. Enlever les gravois.
Étymologie
Même radical que dans gravier (voy. GRAVE 2).