Feat: nouveau environnement Propriété

2020-12-03 14:15:56 +01:00 · 2020-12-03 14:15:56 +01:00 · 557a06b12e
commit 557a06b12e
parent 322a0aa936
1 changed files with 7 additions and 0 deletions
--- a/tools/style/shortcuts.sty
+++ b/tools/style/shortcuts.sty
@ -372,3 +372,10 @@
        }{
    \end{encadre}
 }
+
+\newenvironment{propriete}
+{
+    \begin{encadre}{Propriété}
+        }{
+    \end{encadre}
+}