Grisoir

subs. masc.

Petit instrument dont les vitriers se servent pour façonner un morceau de verre ou de glace que le diamant n'aurait pas complètement tranché ou auquel on veut donner une forme spéciale ; on appelle aussi cet instrument un cavoi. L'action de façonner avec le grisoir est dite grésiller.