Fixed bug in trouverCaseJouable
Changed predicates names (shorter, in English)