Invariant
Définition
Elément constant d'une boucle de contrôle. Par exemple, dans une boucle
while(cond) do bloc end, l'invariant est (not cond) or bloc.while(cond) do bloc end, l'invariant est (not cond) or bloc.
Blue Screen Of Death