Robert Badinter au Panthéon : quel héritage ?