"Contre-exemple" not found

Did you mean…