ajout de la fonction backtrack dans core