Dans l'adresse du serveur, il faut mettre 127.0.0.1:4237, pas juste 127.0.0.1, puisque le serveur écoute sur le port 4237.
(Le lanceur est un peu confus actuellement, c'est quelque chose qu'on va améliorer quand on le redesignera sous peu.)
