Gravoir

Nom commun

gravoir masculin
  1. Outil de charron, de lunetier, etc., qui sert à inciser, à rayer.