L’Encyclopédie/1re édition/MACHINOIR
(Tome 9, p. 800).
MACHINOIR, s. m. (Cordonnerie.) petit outil de buis qui sert aux Cordonniers à ranger & décrasser les points de derriere du soulier. Il est fort pointu, long de quatre à cinq pouces, arrondi par les deux bouts, dentelé à l’un, le milieu est un peu excavé en arc, afin que l’ouvrier le tienne plus commodément. Ce sont des marchands de crépin qui vendent des machinoirs.