grésoir

Définitions

1. 1. 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. Boite dans laquelle on met la poudre de grès destinée à la taille des diamants.

Synonymes

Dérivés

Mots apparentés

Formes fléchies