Alberto Asor Rosa (1933–2022)