diff --git a/tp2/tictactoe.pl b/tp2/tictactoe.pl
index c1819bf..bc92e51 100644
--- a/tp2/tictactoe.pl
+++ b/tp2/tictactoe.pl
@@ -58,14 +58,14 @@ seconde_diag(K, [E | D], [Ligne | M]) :-
 possible([X | L], J) :- unifiable(X, J), possible(L, J), !.
 possible([], _).
 
-unifiable(X, _) :- 
-    var(X),
+unifiable(A, _) :- 
+    var(A),
     !.
-unifiable(_, J) :- 
-    var(J), 
+unifiable(_, B) :- 
+    var(B), 
     !.
-unifiable(X, J) :- 
-    X == J.
+unifiable(A, B) :- 
+    A = B.
 
 % Vérifie que Ali est un alignement gagnant pour J
 alignement_gagnant(Ali, J) :- 
@@ -157,10 +157,10 @@ testAlignementGagnant :-
 	C = [o,o,o],
 	\+ alignement_gagnant(A, o),
 	\+ alignement_gagnant(B, o),
-	\+ alignement_gagnant(A, _).
+	\+ alignement_gagnant(A, _),
 	alignement_gagnant(C, o),
 	alignement_gagnant(C, J),
-	J == o,
+	J == o.
 
 testHeuristique :-
     LS = [