CSF rhinorrhoea due to a pulsion diverticulum of the frontal horn