Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).
for teaching purposes only limited to a microscopic fragment of Python for the moment
Attach a file by drag & drop or click to upload
Jean-Christophe Filliâtre authored