Nom masculin
Outil en matière très dure qui sert à redresser le fil d'un outil comme le racloir d'ébéniste, de tourneur ou un fer de toupie.
