IHM server mis à jour : possibilité de modifier le port