RAPPEL : allo-psmn est un serveur de connexion; il vous permet d'avoir accès à vos fichiers et de les transférer, et c'est tout. Pour travailler, il faut se connecter, depuis allo-psmn, sur l'un des serveurs de compilation