🇫🇷 fr en 🇬🇧

dériver verb

  /de.ʁi.ve/
  • Tirer son origine de quelque part ; découler. → voir dérivé
  • (En particulier) (Grammaire, Linguistique) Être issu par dérivation propre ou impropre. → voir dérivé
 derive
  • (Aéronautique, Marine) Dévier de sa route, en parlant d’un vaisseau, sous la poussée du vent ou sous l’action d’un courant
 drift, adrift
  • (Mathématiques) Trouver le rapport de l’accroissement d’une fonction à celui de la variable, quand la variable s’accroît d’une quantité de plus en plus petite. → voir dérivée
 derivative, differentiate
  • (Sens propre) Quitter un cours d’eau naturel ou un chenal
 divert
  • Détourner un cours d’eau
 divert, derive
Wiktionary Links