
001. coq2html : si un fichier f fait "Require g" alors on examine les
     tiquettes de g.html (si trouv dans le path) mais si g a son tour
     fait "Require h" alors h.html n'est pas examin. 

	=> find_file et read_labels doivent tre mutuellement rcursives

002. On ne teste pas si un fichier a dj t examin ou pas => le faire.
