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