Robert Badinter, ancien ministre et avocat qui a fait abolir la peine capitale, est mort