Décès de Robert Badinter, ancien ministre de la Justice et symbole de l'abolition de la peine de mort