Robert Badinter au Panthéon : à la découverte du caveau n°7 où son cénotaphe va reposer