L’Encyclopédie/1re édition/TIRE-FILET
TIRE-FILET, s. m. (Dist. méchaniq.) petit instrument d’acier trempé sur l’épaisseur duquel l’on a pratiqué une fente plus ou moins large, selon le filet qu’on veut tirer. Les bords de cette fente trempés vifs & tranchans, sont promenés & appuyés fortement sur un morceau de fer ou de bois, enlevent la partie de ce fer ou de ce bois sur laquelle ils portent d’un & d’autre côté de la fente, tandis que la partie correspondante à la fente reste intacte & s’éleve. La partie qui s’éleve, s’appelle un filet. C’est un ornement qu’on pratique sur le dos d’une lame de couteau, sur le dos d’un ressort, d’une platine, sur un manche, sur un instrument de musique ; & l’instrument qui sert à cet usage, s’appelle tire-filet. On peut faire des tire-filets doubles ou triples ; alors on y pratiquera autant de fentes ; l’ouvrier tient le tire-filet avec ses deux mains, l’une placée à un bout & l’autre à l’autre. Cet outil ne laisse pas que d’avoir de la force, sans quoi il casseroit souvent.