diff --git a/static/index.html b/static/index.html
index 90723d0..a0709ed 100644
--- a/static/index.html
+++ b/static/index.html
@@ -29,9 +29,9 @@ <h2>Supports de Cours/TD</h2>
   à partir des sources Coq :</p>
 
 <ul>
-<li>Cours 1 : <a href="./ilu3_coq_1.html">ilu3_coq_1.html</a> - <a href="./ilu3_coq_1.v">ilu3_coq_1.v</a></li>
-<li>Cours 2 : <a href="./ilu3_coq_2.html">ilu3_coq_2.html</a> - <a href="./ilu3_coq_2.v">ilu3_coq_2.v</a></li>
-<li>Cours 3 : <a href="./ilu3_coq_3.html">ilu3_coq_3.html</a> - <a href="./ilu3_coq_3.v">ilu3_coq_3.v</a></li>
+<li>Cours 1 : <a href="./ilu3_coq_1.html">ilu3_coq_1.html</a> - <a href="./ilu3_coq_1.v">ilu3_coq_1.v</a> (fragment fonctionnel de Coq)</li>
+<li>Cours 2 : <a href="./ilu3_coq_2.html">ilu3_coq_2.html</a> - <a href="./ilu3_coq_2.v">ilu3_coq_2.v</a> (tactiques de preuve)</li>
+<li>Cours 3 : <a href="./ilu3_coq_3.html">ilu3_coq_3.html</a> - <a href="./ilu3_coq_3.v">ilu3_coq_3.v</a> (modules &amp; types abstraits)</li>
 </ul>
 
 <h2>Environnement de TP</h2>