Recherche:

@r0d: Je ne vois pas en quoi ma définition est insuffisante.

Si ta fonction fait des choses différentes selon l'état, alors c'est qu'elle ne travaille pas seulement selon des invariants, rien de...

- Invariant : N'importe quel propriété P que doit vérifier un objet de type T.

- propriété : N'importe quel assertion (vérifiable ? (*)) sur un objet.

- ctor coherent : Dans le contexte, un...