Salut à tous, Nous allons mettre à jour le serveur du GULL, ce mardi (le 27 octobre 2015) dès 17hoo. Alors, plus d'email, plus de liste de diffusion, plus de twiki .... et beaucoup de boulot pour François et Cédric. cED