Robert Badinter, homme de justice, s'est éteint