Mario Cravedi (1928–2013)