1. TissageInstrument autrefois utilisé pour redresser les crochets des métiers à tisser Jacquard.La fig.16, même planche, représente une autre espèce de double crochet que l'on nomme tire-pousse. Celui-ci sert à redresser les crochets de la mécanique lorsqu'ils se trouvent courbés par accident.
2. Sorte de gaffe servant à manipuler des blocs de glaces.Les blocs flottants, découpés à la « berce », à la hache et à la scie, étaient ensuite tirés le long du canal par un homme avec un crochet de fer, « le tire-pousse ».