Pierre C. Humblet 1918-1987