Haefliger, Paul, 1914-1982.