docs(index.html): Add text description

static/index.html

@@ -14,14 +14,34 @@
 
 <h1><a href="https://github.com/pfitaxel/ilu3-coq-alectryon">ilu3-coq-alectryon</a></h1>
 
-<p><b>Univ. Paul Sabatier</b> - L3 Info - <b>UE ILU3 :</b></p>
+<p>Au sein de la Mention Informatique de la
+  <a href="https://www.fsi.univ-tlse3.fr/la-licence-flexible">Licence Flexible</a> de l'Université Toulouse III - Paul Sabatier, l'UE
+  <b>Ingénierie des Logiciels et Utilisabilité&nbsp;3</b> (prévue essentiellement au niveau L3)
+  se focalise sur le Développement Dirigé par les Types Abstraits.</p>
+
+<p>Cette page regroupe les supports de cours pour la partie Coq.</p>
+
+<h2>Supports de Cours/TD</h2>
+
+<p>Il y a une page HTML par cours, générée
+  (avec les outils <a href="https://github.com/cpitclaudel/alectryon">Alectryon</a>
+  et <a href="https://github.com/coq-community/docker-coq-action">docker-coq-action</a>)
+  à 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>
 </ul>
 
+<h2>Environnement de TP</h2>
+
+<p>Si vous disposez d'une machine personnelle, vous pouvez installer l'environnement de TP (OPAM+Coq+ProofGeneral) en suivant ce tutoriel :</p>
+
+<ul>
+<li><a href="https://github.com/erikmd/tapfa-init.el">https://github.com/erikmd/tapfa-init.el</a></li>
+</ul>
+
 <p style="font-size: 1.4em;">✨&nbsp;🐓&nbsp;✨</p>
 
 </body>