Equivalent à JML / JUnit pour le C++

Version imprimable