Ruben GROSMAN (1914-2010)