predicate
Merge pull request #31 from ProjetPP/predicate

predicate