ajoute de la stabilité quand on cherche les properties
Merge branch 'master' of github.com:IF-JAJAGA/semantics
ajoute la partie de jérome, oh yeah!
fix conflicts
ajoute la partie de jérome + quelques optimisations des résultats
fix conflicts