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

\begin{Cor}\ \\

\begin{small}
Une solution avec des états~:
\verbatiminput{exo2.lex}

et une basée sur la solution de l'exercice précédent~:
\verbatiminput{exo2V2.lex}
\end{small}

\end{Cor}
