Certains exos placs dans depprod ( la cration du site) ont maintenant
leur nonc dans le chapitre "everyday logic".
Il faudra sparer ces exos en une partie "terme de preuve" (depprod) 
et une partie "tactiques" (everyday).
Mais a ne me parait pas trs urgent
(Pierre, le 31 Octobre 2003).

-----------------------------------------------------------------------------
Eviter d'avoir des fichiers toto.html pour un module toto.v

Possibilits : a) noms "about_toto.html"
           ou  b) sous-rpertoire HTML 
Problme : boulot de Romain :
           rfrences croises + cvs delete/add
           
Faire a tranquillement :
 de faon non destructive (on ne dtruira les anciens fichiers que
 lorsque tout sera doubl).

Meilleure solution: changement de coq_makefile

----------------------------------------------------------------------