Giovanni Travaglini (1924–2020)