Gianfranco Contini (1912 - 1990).