A partir de quand un programme est-il considéré comme tel ?
A partir de sa deuxième exécution.
Un programme qui ne pourrait rendre à partir des mêmes prémisses et dans un même contexte un même résultat ne serait pas un programme.
L’itération est une condition du formalisme.