weakest precondition - Fransızca İngilizce Sözlük