Cela sous-entend t-il que la liste Linux-31 n'est plus géré par le PIC ?? JM
en partie (le serveur), les listes le sont par moi jdd -- http://dodin.org