Tests unitaires
Méthode trouver faits finaux
Commit début infer_backward