L'ancien garde des Sceaux Robert Badinter est mort à l'âge de 95 ans