C++/PpC: + exemple Vil Coyote sur les post conditions