C++/PpC: MAJ relatives aux présentations de Lakos + Tests unitaires pour les post-conditions