see [[Idiopathic chronic hypertrophic craniocervical pachymeningitis]]