diff --git a/projet.use b/projet.use
index 62123e3..771b205 100644
--- a/projet.use
+++ b/projet.use
@@ -69,6 +69,8 @@ attributes
     type: TypeBateau
     longueur: Integer
     Etat: EtatBateau
+constraints
+    inv longueur: type = TypeBateau::Torpilleur implies longueur = 2
 end
 
 association Utilise between