Arnaldo Zucchini (1920–2003)