weakest precondition - Espagnol Anglais Dictionnaire