diverge (diverger)

L'exécution d'un programme est dite divergente si elle ne se termine pas comme prévu. Si elle donne une valeur dans un temps fini sans diverger, elle converge.