Utiliser un numero de port dans le fichier hosts de Windows
Le fichier hosts sert uniquement a la resolution des noms d’hotes (sous Windows comme sous les systemes de type Unix). Vous ne pouvez pas y mettre de numeros de port, et il n’y a aucun moyen de faire ce que vous souhaitez avec une configuration generique au niveau du systeme d’exploitation - c’est le navigateur qui selectionne le port a utiliser.
Utilisez donc des favoris ou quelque chose de similaire.
(Certains logiciels de pare-feu/routage peuvent permettre la redirection de port sortant, mais cela ne semble pas vraiment etre une option attrayante pour cela.)