ajout du répertoire langage_arbres, fonctions de transformation du séquent presque ok (rajouter priorité et coder le reste des fonctions auxiliaires), manque la stratégie