Dérivabilité des fonctions composées