Aventino Frau (1939–2020)