Feat: ajout de ":" pour les definitions et les propriétés

This commit is contained in:
Bertrand Benjamin 2022-03-23 09:16:00 +01:00
parent 8d43f16d22
commit cf07874dbd

View File

@ -69,14 +69,14 @@
\newenvironment{definition}[1][] \newenvironment{definition}[1][]
{ {
\begin{encadre}{Définition #1} \begin{encadre}{Définition: #1}
}{ }{
\end{encadre} \end{encadre}
} }
\newenvironment{propriete}[1][] \newenvironment{propriete}[1][]
{ {
\begin{encadre}{Propriété #1} \begin{encadre}{Propriété: #1}
}{ }{
\end{encadre} \end{encadre}
} }