Garde à l'écran les réglages utilisateur

Il s'agit d'un remaniement complet, tant les modifications sont
profondes. En voici une liste :
- reprise des éléments déjà entrés en cas d'erreur à l'installation,
- séparation nette entre partie Php et partie HTML,
- valeurs par défaut de $root et $mysqlPrefix conservées si besoin,
- intégration des vérifications dans le menu de droite,
- quelques commentaires ajoutés