Gian Franco Anedda (1930–2020)