Emilio Gabba (1927-2013) In memoriam