Antelme, Robert (1917-1990) -- Biographies