Traduire "théorie des types" en Anglais