diff --git a/resolveur.pl b/resolveur.pl
new file mode 100644
index 0000000..cd2c71d
--- /dev/null
+++ b/resolveur.pl
@@ -0,0 +1,13 @@
+/*
+width(6).
+height(6).
+aire(0,0,1,1,2).
+aire(2,0,2,2,-1).
+aire(3,0,5,1,-1).
+aire(0,2,0,4,-1).
+aire(1,2,1,3,0).
+aire(3,2,5,2,0).
+aire(1,4,1,4,1).
+aire(2,3,5,5,4).
+aire(0,5,1,5,-1).
+*/