👤 Jorge Semprún (1923-2011), Spanish writer and politician