Mario Camus (1935-2021)