Traductions automatiques des définitions par l'ANS : Une contrainte logique qui peut être une pré-condition, une post-condition ou un invariant
logique qui dure tout au long de la vie de la fonction ou de l'objet.;
Traductions automatiques par l'ANS : contrat de routine; contrat;