Piero Craveri (1938–2024)