Robert Badinter, le père de l'abolition de la peine de mort, est décédé