Merci, cela a fonctionné pour moi. Mon fournisseur de VPS propose des « adresses IP flottantes » peu coûteuses en plus de l’adresse IP principale configurée sur le VPS. Cette solution est très élégante pour moi. Elle devrait être mieux documentée, car elle est si simple.
expose:
- "mon_ip_flottante:80:80"
- "mon_ip_flottante:443:443"