Raymond Devroye (19/08/1911-06/08/1978)