France: Robert Badinter, artisan de l'abolition de la peine de mort, entre au Panthéon