Rougemont, Denis de

1906–1985