Système de paramètres dans un fichier

Dans le fichier hvsetup.txt il y a moyen de changer les paramètres sans
tout recompiler... Par contre il vaut mieux éviter qu'on utilise tous
les deux le même sinon il y aura des conflits (c'est possible de
rajouter dans le code un 2è fichier de config)