Traduire "Preuve, introduction partielle" en Anglais