L’Encyclopédie/1re édition/GRAVOIS
(Tome 7, p. 877).
GRAVOIS, s. m. pl. (Architect.) se dit des décombres des bâtimens, des pieces d’eaux & bassins lors qu’ils sont achevés ; ou bien de ce qui reste des allées quand elles viennent d’être dressées & épierrées.