[web] récupérer nom du serveur

Version imprimable