GRUGER - v.t. :

[C.M. - Serr.] Modifier localement la section d'un profilé, généralement en vue d'un assemblage, par découpage au chalumeau ou à l'aide d'un grugeoir.

[Maç.] Briser au marteau têtu ou à la boucharde une pierre dure ne pouvant être entamée au ciseau.

[Vitr.] Rectifier une coupe de verre avec un grésoir ou une pince à gruger.