dériver

3e édition

DERIVER.

v. n.
■  S’éloigner du bord, du rivage. Dès que le bateau eut dérivé. Il est temps de partir, dérive.
Il signifie aussi en termes de marine, Déchoir de la route qu’on tient en mer, s’en écarter. Nous trouvâmes que les courants avoient fait dériver le vaisseau de dix lieues. Le Pilote, pour ne pas donner sur le rocher, fut obligé de laisser dériver le vaisseau.
■ Dériver, Signifie aussi, Venir de, tirer son origine. C’est de-là que dérivent tous leurs malheurs. De-là sont dérivées tant d’erreurs, tant d’hérésies, &c.
Il se dit en termes de Grammaire, des mots qui tirent leur origine de quelque autre. Un tel mot dérive de celui-là. D’où faites-vous dériver ce mot ? Ce mot est dérivé de l’Arabe.
On dit quelquefois, Dériver, pour Faire dériver. Et alors il se prend activement. D’où dérivez-vous ce mot-là ? Je le dérive du Grec.
■ Dérivé, ée. part.
Il est aussi subst. Et alors on ne s’en sert qu’en termes de Grammaire. Le verbe & ses dérivez. Ce mot est un dérivé de, &c.
Vous pouvez cliquer sur n’importe quel mot pour naviguer dans le dictionnaire.