Robert Badinter, l'ex-garde des Sceaux, est mort à l'âge de 95 ans