Ezio Leonardi (1929–2025)