Mario Pani (1936–2026)