diff --git a/workspace/fr.n7.game.xtext/.project b/workspace/fr.n7.game.xtext/.project
index 11f8153..c637f51 100644
--- a/workspace/fr.n7.game.xtext/.project
+++ b/workspace/fr.n7.game.xtext/.project
@@ -5,6 +5,27 @@
 	<projects>
 	</projects>
 	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.ocl.pivot.ui.oclbuilder</name>
+			<arguments>
+				<dictionary>
+					<key>disabledExtensions</key>
+					<value>*,essentialocl</value>
+				</dictionary>
+				<dictionary>
+					<key>disabledPaths</key>
+					<value>bin/**,target/**</value>
+				</dictionary>
+				<dictionary>
+					<key>enabledExtensions</key>
+					<value>ecore,ocl,oclinecore,oclstdlib,uml</value>
+				</dictionary>
+				<dictionary>
+					<key>enabledPaths</key>
+					<value>**</value>
+				</dictionary>
+			</arguments>
+		</buildCommand>
 		<buildCommand>
 			<name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
 			<arguments>
@@ -30,5 +51,6 @@
 		<nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
 		<nature>org.eclipse.jdt.core.javanature</nature>
 		<nature>org.eclipse.pde.PluginNature</nature>
+		<nature>org.eclipse.ocl.pivot.ui.oclnature</nature>
 	</natures>
 </projectDescription>
diff --git a/workspace/fr.n7.game.xtext/model/Game.ocl b/workspace/fr.n7.game.xtext/model/Game.ocl
new file mode 100644
index 0000000..3faa3e4
--- /dev/null
+++ b/workspace/fr.n7.game.xtext/model/Game.ocl
@@ -0,0 +1,14 @@
+import 'generated/Game.ecore'
+
+package game
+
+context Explorateur
+inv negativeQuantity: self.tailleInventaire >= 0
+
+context Objet
+inv negativeQuantity: self.taille >= 0
+
+context Nom
+inv CorrectNom: self.nom.matches('[a-zA-Z]([a-zA-Z0-9]|_)*') 
+
+endpackage
diff --git a/workspace/fr.n7.game.xtext/xtend-gen/fr/n7/game/xtext/generator/.GameGenerator.xtendbin b/workspace/fr.n7.game.xtext/xtend-gen/fr/n7/game/xtext/generator/.GameGenerator.xtendbin
index ed0c714..a187f02 100644
Binary files a/workspace/fr.n7.game.xtext/xtend-gen/fr/n7/game/xtext/generator/.GameGenerator.xtendbin and b/workspace/fr.n7.game.xtext/xtend-gen/fr/n7/game/xtext/generator/.GameGenerator.xtendbin differ