Cholesterol granuloma of the frontal sinus