DuckCorp Dico

Found one definition

1.                 From français-Deutsch FreeDict+WikDict dictionary ver. 2022.11.18:
                   
   
   
                   
                     
   dériver /de.ʁi.ve/ <v>
   1. treiben, abtreiben, abweichen, abzweigen, dahingetrieben werden, dahintreiben
   2. wegtreiben
   Dévier un vaisseau de sa route
   3. ableiten 2.
   Tirer son origine de quelque part
    3.
   Sortir de, être issu de quelque chose
    4.
   Détourner un cours d’eau
   4. ableiten, herleiten
   Être issu par dérivation propre ou impropre