Robert Badinter, le défenseur infatigable de l'abolition de la peine de mort, décédé à l'âge de 95 ans