\begin{exercice}[Dérivabilité de la \og fonction aire \fg{}, p. \pageref{TSA6_theoreme_derivabilite}][\roc] \label{TSA6_theoreme_derivabilite_demo}
En s'appuyant sur le modèle de la démonstration donnée dans le cours, démontrer le théorème de dérivabilité de la \og fonction aire \fg{} dans le cas d'une fonction $f$ décroissante et positive.
\end{exercice}

