diff --git a/resolveur.pl b/resolveur.pl
index cd2c71d..471c6b3 100644
--- a/resolveur.pl
+++ b/resolveur.pl
@@ -1,6 +1,14 @@
+longueur(X) :- X.
+largeur(X) :- X.
+
+aire(X1, Y1, X1, Y1, 1) :- write('blanc').
+aire(X1, Y1, X2, Y2, N) :- X1, Y1, X2, Y2, N.
+
+run :- write('oui').
+
 /*
-width(6).
-height(6).
+longueur(6).
+largeur(6).
 aire(0,0,1,1,2).
 aire(2,0,2,2,-1).
 aire(3,0,5,1,-1).
@@ -10,4 +18,5 @@ aire(3,2,5,2,0).
 aire(1,4,1,4,1).
 aire(2,3,5,5,4).
 aire(0,5,1,5,-1).
+run.
 */