Ajout d'une reduction d'arbre
Merge branch 'master' of git@github.com:Schokobons/GOOL.git