Mario De Biasi (1923-2013)