\newcommand{\Alphabet}{\Sigma}
\newcommand{\donne}[1]{\buildrel\>#1\>\over\longrightarrow}
\def\0{\mathbf{0}}
\def\Id{\mathop{\rm Id}\nolimits}

\endinput