Feat: paramètre optionnel pour definition et propriete

This commit is contained in:
Bertrand Benjamin 2020-12-07 15:10:47 +01:00
parent fc295647c2
commit 8b3a6384e0

View File

@ -67,16 +67,16 @@
\end{encadre} \end{encadre}
} }
\renewenvironment{definition} \renewenvironment{definition}[1][]
{ {
\begin{encadre}{Définition} \begin{encadre}{Définition #1}
}{ }{
\end{encadre} \end{encadre}
} }
\newenvironment{propriete} \newenvironment{propriete}[1][]
{ {
\begin{encadre}{Propriété} \begin{encadre}{Propriété #1}
}{ }{
\end{encadre} \end{encadre}
} }