Définition différentiation

Nom commun
- Action de différentier, ou résultat de cette action.
- (Mathématiques) Opération par laquelle, une fonction étant donnée, on en trouve la différentielle.