Dérivabilité des fonctions sinus et cosinus