Robert Badinter, l'homme de l'abolition de la peine de mort, nous a quittés