L’Encyclopédie/1re édition/DÉRIVOIR
(Tome 4, p. 869).
DÉRIVOIR, s. m. (Horlogerie.) outil d’horlogerie ; espece de poinçon fort semblable au pousse-pointe : il a un trou comme lui ; mais le bord du trou au lieu d’être un peu large est au contraire fort étroit, afin qu’il ne déborde pas les rivures des assiettes ou des pignons. Il sert à dériver une roue, c’est-à-dire à la chasser de dessus son assiette ou de dessus son pignon ; le trou doit être fort long, afin que les tiges puissent s’y loger sans qu’en haussant les roues on puisse les endommager. (T)