No dia de S. Martinho (11.11), fura-se o pipinho, mas quem for honrado já o deve ter furado.