Robert Badinter, ancien garde des Sceaux et défenseur de l'abolition de la peine de mort, est décédé