Implémentation de l'heuristique dans l'algorithme de résolution