Suivi d'algorithme à l'aide de tables d'états