Badinter, artisan de l'abolition de la peine de mort, au Panthéon