[marmaduke]

No I work in an office 9h to 12h30, officially at half time (with half pay).

I'm not particularly efficient after lunch anyway, so it's better to just go home, in my case.