Mirko Tremaglia (1926–2011)