Robert Badinter, artisan de l'abolition de la peine de mort, «au Panthéon avec les Lumières»