Dans les dernières versions de Mailman (en fait, pas celle de la woody ...), l'url par défaut d'une liste ne peut plus être définie dans l'interface d'administration, pour jenesaisquelleraison !

Mon problème, c'est que cette url est en HTTP par défaut, ce qui n'est pas extra ... Donc pour modifier l'url des listes, il faut modifier la variable DEFAULT_URL_PATTERN dans /var/lib/mailman/Mailman/Defaults.py. Grâce à ceci, toutes les listes crées auront l'adresse voulues (et vous mettez https, caimieux !)

Le problème réside dans les listes déjà crées, auquel ne s'applique pas le Defaults.py ... Pour cela, il faut utiliser la commande suivante :

/var/lib/mailman/bin/withlist -l -r fix_url LISTE

Et hop, l'url de la liste sera celle fournie dans DEFAULT_URL_PATTERN !

Maintenant, OrdreJedis fournit une interface d'admin de ses listes en HTTPs, trofor !