Merci, @pfaffman !
J’ai attendu un moment (11 heures, et cet ordinateur n’est pas SI lent) - et cela ne résout pas le problème.
Je me demande si j’ai réussi à forcer discourse à se connecter à mon réseau nommé « proxy ». Y a-t-il un moyen de vérifier cela ?
docker ps me dit que discourse n’utilise plus de ports, ce que je voulais. Mais je ne peux pas dire si discourse se connecte à quoi que ce soit.