feriados o de fiesta nacional, se pagaran con el duplo de salario correspondiente a