postcondition

concept condition que doit satisfaire un résultat ou un effet produit quand toutes ses conditions initiales sont remplies et qui permet de le valider