Fix: renew.... to new

This commit is contained in:
Bertrand Benjamin 2020-12-08 10:21:55 +01:00
parent 9e2e3dfb02
commit a3a0588819

View File

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