Une lectrice m’interpelle : « Question, pourquoi la répétition n’est-elle pas mise dans le même sac que l’alternative ? »

L’alternative c’est :
Si p alors a sinon b

La répétition c’est :
tant que p faire a
ou :
faire 10 fois a

Il y a des façons impures de réaliser cela, du genre :

début : faire a
si p aller à suite sinon aller à début
suite : b

qui réalisent en effet la répétition au moyen de l’alternative et de "aller à", mais ce qui est remarquable dans le théorème de Böhm et Jacopini, c’est qu’il montre qu’on peut se passer de la primitive "aller à", dont Edsger Dijkstra a monté les effets néfastes dans son célèbre article "Go To Statement Considered Harmful" (http://www.u.arizona.edu/~rubinson/copyright_violations/Go_To_Considered_Harmful.html).

En fait, tous les langages machine procèdent de la façon impure avec des commandes "aller à", et de ce point de vue tu as raison, mais avec des langages de plus haut niveau on peut s’en passer, et la plupart des étudiants des générations récentes n’ont jamais utilisé la construction avec "aller à", qui était notre pain quotidien dans ma jeunesse.