Mort de Robert Badinter : un homme "d'ores et déjà inscrit dans les livres d'histoire"