Traduire "programme symbolique" en Anglais