diff --git a/tools/style/shortcuts.sty b/tools/style/shortcuts.sty
index a3e4df8..3a856f2 100755
--- a/tools/style/shortcuts.sty
+++ b/tools/style/shortcuts.sty
@@ -372,3 +372,10 @@
         }{
     \end{encadre}
 }
+
+\newenvironment{propriete}
+{
+    \begin{encadre}{Propriété}
+        }{
+    \end{encadre}
+}