Mario Artali (1938–2023)