résolution du problème d'espace à la fin des variables dans sling. Il reste un problème d'encodage...