Condition
Classe qui sert à déclarer les préconditions, les postconditions et les autres conditions d'une opération. Chaque condition a deux attributs : un type et une explication.