Armando Testa (1917-1992)