Jorge Semprun. La Deuxième mort de Ramón Mercader