diff --git a/packages/macros.sty b/packages/macros.sty
index 8d9a609..168bd3e 100644
--- a/packages/macros.sty
+++ b/packages/macros.sty
@@ -44,6 +44,8 @@
 \newenvironment{lemme_sq}{\begin{mdframed}\begin{lemme}}{\end{lemme}\end{mdframed}}
 \newtheorem{prop}{Proposition}
 \newenvironment{prop_sq}{\begin{mdframed}\begin{prop}}{\end{prop}\end{mdframed}}
+\newtheorem{corollary}{Corollaire}
+\newenvironment{corollary_sq}{\begin{mdframed}\begin{corollary}}{\end{corollary}\end{mdframed}}
 \newcommand{\norm}[1]{\lVert#1\rVert}
 \newcommand{\Norm}[1]{\lVert #1\rVert}
 \newcommand{\powerset}[1]{\mathcal{P}(#1)} % Power set