Postcondition
Indique quelles conditions doivent être satisfaites après qu'un processus d'affaires a été exécuté.