Doit-on dire un ou une postcondition ?