v. act. (Gainier) fer à greneter, outil de gainier ; c'est un fer emmanché comme une lime, dont l'extrémité est terminée par une tête arrondie sphériquement, et qui est remplie de petits trous propres à former des grains semblables à ceux de la peau de requin. On fait chauffer ce fer, et on l'applique fortement sur les endroits où le grain a manqué, ou sur les points des pièces de requin, afin de rétablir la continuité des grains, et cacher la jonction des deux morceaux. Voyez la figure dans la Planche du Gainier.