Merge remote-tracking branch 'origin/main'

projet.use

@@ -65,6 +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
 end
 
 class Bateau