Progres du chainage arriere. La logique de la fonction est presente, il faut maintenant modifier la liste des faits selon les hypoteses verifie