Coluccio Salutati - Petrucci, Armando 1932-2018 (Istituto della Enciclopedia Italiana, 1972)