Définitionsdérivoir

dérivoir

nom masculin
/de.ʁi.vwaʁ/
  1. HorlogerieInstrument pour dériver les pignons et les séparer des roues, sans les gâter.

Définitions issus du Wiktionnaire (via DBnary), sous licence CC BY-SA 3.0.