Commit de merde pour régler un bug chez moi.
Merge branch 'master' of https://github.com/Wambou/Compilateur
Retour à la normale.
Merge branch 'master' of https://github.com/Wambou/Compilateur