Tixier-Vignancour, Jean-Louis (1907-1989)