La Post-Condition qui doit être vérifiée après l'exécution de l'opération. Si la Pré-Condition ou la Post-condition n'est pas respectée, une exception est générée.