the external observer by Clementel in London