these-jcb/code/outputAfficherPeano.tex

\begin{tomcode4}
  liste(0) = zero()
  liste(1) = zero()
  liste(2) = suc(suc(zero()))
  liste(3) = zero()
\end{tomcode4}