Ensemble fini des règles nécessaires à la résolution d'un calcul en un nombre fini d'étapes. Si le nombre d'étapes est théoriquement infini, le processus portera alors le nom d'itération.
