Robert Badinter est entré au Panthéon