Robert Badinter au Panthéon : qu'est-ce que le "caveau des révolutionnaires de 1789" où son cercueil sera accueilli ?