petite amélioration du code, dans l'appel de solve;
ajout de la documentation compilée html.
mise à jour de la documentation html