Cerebral Rosai–Dorfman disease