Fix du bug de is_in_facts qui ne renvoyait qu'un résultat