Clipping of sigmoid sinus diverticulum: how I do it