Oscar Mammì (1926–2017)