Dux, Pierre (1908-1990)