diff --git a/projet.use b/projet.use
index 1a415d9..a40ba48 100644
--- a/projet.use
+++ b/projet.use
@@ -65,7 +65,8 @@ operations
 constraints
     inv:
         plateau.cases->select(c: Case | c.x = x and c.y = y)->size() = 1
-    inv coordonne: x <= 10 and x > 0 and y > 0 and y <= 10
+    inv coordonne: 
+        x <= 10 and x > 0 and y > 0 and y <= 10
 end
 
 class Bateau