Ajout de l'interface doc/set_lsi.mli
Qui permet de générer la doc.