Dérivabilité d’une fonction sur un intervalle