Que horas é publicado o Diário Oficial da União? Você sabe? Na verdade não se sabe exatamente que horas é…