MACHINOIR, subst. masc.
CHAUSS. Outil de cordonnier en bois ou en os qui sert à unir et blanchir les points des souliers, à polir, à lisser (d'apr. Chesn. 1857-58 et Lar. encyclop.). Prononc.: [maʃinwa:ʀ]. Étymol. et Hist. 1680 machinois (Rich.) − 1694, Corneille; 1701 machinoir (Fur.). Dér. de machiner* terme de cordonnier (1680, Rich.), de machine id. (ibid.); suff. -oir*.