S. m. outil de Gainier, c'est un petit fer plat, de la largeur d'un pouce, carré par en-haut et un peu arrondi par en-bas ; au milieu de cet arrondissement, est une petite queue aussi de fer, qui se met dans un petit manche de la longueur d'un pouce et gros à proportion ; le bout carré de cet outil est garni de petites pointes faites en dents creusées dans le fer, à la distance chacune d'environ une ligne : cet outil sert aux gainiers pour marquer les distances où il faut placer les clous d'ornement. Voyez la figure Pl. du Gainier.