postcondition - French English Dictionary