« Votre nom devra s’inscrire au Panthéon » : hommage national à Robert Badinter