Afinal, o Carnaval é feriado ou ponto facultativo?