Robert Badinter entre au Panthéon : l'abolition de la peine de mort, le combat de toute une vie