dériver

5e édition

DÉRIVER.

v. neut.
■  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 de. C’est de là que dérivent tous leurs malheurs. De là sont dérivées tant d’erreurs, tant d’hérésies, etc. Il faut remonter à la source d’où dérivent tant de préjugés.
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 en ce dernier sens, 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.
On dit activement, On a dérivé ces eaux des sources voisines pour les faire tomber dans ce canal.
■ Dérivé, ée. participe.
Il est aussi substantif ; et alors ou ne s’en sert qu’en termes de Grammaire. Le verbe Courir et ses dérivés. Amitié est un dérivé d’Ami.
Vous pouvez cliquer sur n’importe quel mot pour naviguer dans le dictionnaire.