Main modifications des fonctions de backtracking