L’Encyclopédie/1re édition/GRENETER
(Tome 7, p. 940).
GRENETER, 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, & qui est remplie de petits trous propres à former des grains semblables à ceux de la peau de requien. On fait chauffer ce fer, & on l’applique fortement sur les endroits où le grain a manqué, ou sur les points des pieces de requien, afin de rétablir la continuité des grains, & cacher la jonction des deux morceaux. Voyez la figure dans la Planche du Gainier.