grésoir

Définitions

1. 1. vieilli vitrerie Outil pour rogner le verre.
   Il arrive souvent que le diamant ne suffit pas pour découper le verre suivant un modèle donné ; dans ce cas, on a recours au fer incandescent, et quelquefois au rognage au grésoir.
   On régularisait ensuite la coupe avec le grésoir.
2. 2. vieilli Boite dans laquelle on met la poudre de grès destinée à la taille des diamants.

Étymologie

De gréser, avec le suffixe -oir.

Synonymes

Dérivés

Hyperonymes

Mots apparentés

Formes fléchies