diff --git a/cours.tex b/cours.tex
index 486982b1a471d2e751ad9efa77fc8f680d244208..56cea20364b99d4d90d4b72f2767751d2e871088 100644
--- a/cours.tex
+++ b/cours.tex
@@ -528,7 +528,7 @@ On a
 \begin{enumerate}
  \item La dérivée et l'intégrale ``s'annulent'' 
  \begin{equation}
-  \left[\int_a^b f(y)\dd y\right]'=f(x), \quad x\in D.
+  \left(\int_a^x f(x)\dd x\right)'=\left(F(x)-F(a)\right)'=F'(x)-\left(F(a)\right)'=F'(x)=f(x).
  \end{equation}
  \item La fonction $h=f+g$ admet aussi une primitive sur $D$, et on a
  \begin{equation}