Ruggero Ravenna (1925–2022)