Definición oficial sobre el feriado de carnaval: qué días no se trabaja y quiénes deben cumplir tareas