Tony Benn, que había muerto a los ochenta y ocho años, era principalmente famoso