> Je lirais la spec complète plus tard car le domaine jussieu.fr ne semble
> pas routé depuis free.fr :-(
Le routage IPv4 vers Jussieu est réparé.
Cette fois-ci, le routage IPv6 n'a jamais cessé de fonctionner ;-)
Juliusz