converges

L'ensemble d'effets "le plus petit". Il s'agit d'un code qui est garanti de produire une valeur en un temps fini sans diverger.