Aniversário de São Paulo: feriado ou ponto facultativo?