Posttraumatic arachnoidal diverticula