diff --git a/cours.tex b/cours.tex
index abfaf4444eeeb1b16065a4c80dbf9ef275d49178..76d1d43a4c32d381dfeb9fb7930e820dd64c59b9 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^x 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}