Le 19 sept. 2013 à 16:34, Bruno Voisin <bvoisin at icloud.com> a écrit : > Hopefully this will select another mirror than the CTAN one. I meant "other than the Berlin one". Sorry! Too much multitasking! Bruno