dériver

4e édition

DÉRIVER.

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, S’écarter de la route qu’on tient en mer. Nous trouvâmes que les courans 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. participe.
Il est aussi substantif ; & alors on ne s’en sert qu’en termes de Grammaire. Le verbe & ses dérivés. Ce mot est un dérivé de ....
Vous pouvez cliquer sur n’importe quel mot pour naviguer dans le dictionnaire.