Opérations algébriques sur les fonctions dérivables en a