12
Qu'est-ce qu'un invariant?
Le mot semble être utilisé dans un certain nombre de contextes. Le mieux que je puisse comprendre, c'est qu'ils signifient une variable qui ne peut pas changer. N'est-ce pas à cela que servent les constantes / finales (maudit Java!)?