Robert Badinter, au nom de la justice