Panthéonisation de Robert Badinter : ce qu'Emmanuel Macron a prévu pour l'hommage national