Mort de Robert Badinter, un homme de combats