C++/PpC: + preuve formelle ; + std::logic/runtime_error