Dia de São Patrício

Hoje é dia de São Patrício. Pra maioria dos brasileiros que fazem alguma ideia do que seja esse dia, é só uma desculpa pra encher a cara em pubs gastando grana com cerveja cara (não lembro quanto custa um pint de Guinness, mas barato nunca foi). Já minha lembrança da data vem dos tempos de Cultura Inglesa. Lá, algumas turmas iam todas fantasiadas de verde pra escola, e algumas moças chegavam ao extremo de pintar o cabelo de verde. Isso que é, digamos, mergulhar no tema...