Dictionnaire de Trévoux/6e édition, 1771/DÉRIVOIR
(3, p. 251).
☞ DÉRIVOIR. s. m. Outil d’Horlogerie, espèce de poinçon, assez semblable au Pousse-pointe, qui sert à dériver une roue, c’est-à-dire, à la chasser de dessus son assiette ou de dessus son pignon. Encyc.