Dans édupython 2.7, on pouvait configurer le proxy par le menu outil
Là, ce menu a disparu
Est il déplacé ?
Merci par avance