Giovanni Cervetti (1933–2026)