L’Encyclopédie/1re édition/GRUGER ou EGRUGER
(Tome 7, p. 971).
GRUGER ou EGRUGER, v. act. (Gramm.) il se dit en général de l’action de réduire en poudre un corps dur par le moyen de quelque instrument ; ainsi on gruge le marbre avec la marteline. Le même terme se prend aussi au figuré.