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