Robert Badinter au Panthéon : ce que l'on lui doit