Robert Badinter, farouche opposant à la peine de mort, est décédé