description / post conditions / complement

Ajout des champs de description, post conditions et complément.