deriver

2e édition

DERIVER.

v. n.
■  S’esloigner du bord, du rivage. Dez que le bateau eut derivé. il est temps de partir, derive.
Il signifie aussi en termes de marine, Dechoir de la route qu’on tient en mer, s’en escarter. Nous trouvasmes que les courants avoient fait deriver le vaisseau de dix lieües. le Pilote, pour ne pas donner sur le Rocher, fut obligé de laisser deriver le vaisseau.
Deriver, Signifie aussi, Venir de, tirer son origine. C’est delà que derivent tous leurs malheurs. delà sont derivées tant d’erreurs, tant d’heresies, &c.
Il se dit en termes de Grammaire, des mots qui tirent leur origine de quelque autre. Un tel mot derive de celuy là. d’où faites vous deriver ce mot ? ce mot est derivé de l’Arabe.
On dit quelquefois, Deriver, pour Faire deriver. Et alors il se prend activement. D’où derivez-vous ce mot-là ? je le derive du Grec.
Derivé, ée. participe.
Il est aussi subst. Et alors on ne s’en sert qu’en termes de Grammaire. Le verbe & ses derivez, ce mot est un derivé de, &c.
Vous pouvez cliquer sur n’importe quel mot pour naviguer dans le dictionnaire.