%\begin{Exo}
%\end{Exo}

\begin{Cor}\ \\

\begin{small}
\verbatiminput{exo4.lex}
\end{small}

\end{Cor}
