Voir la source de 927 -- Exemples de preuve d’algorithme : correction, terminaison.
Vous n'êtes pas autorisé(e) à modifier cette page, pour la raison suivante :
Vous pouvez voir et copier le contenu de la page :
Revenir à la page 927 -- Exemples de preuve d’algorithme : correction, terminaison..