Mario Manieri Elia (1929-2011)