Mario Chichorro (1932-2023)