Aprovechando el hilo, el 6 de diciembre computa como festivo? Me refiero si nos descuentan 7,5 horas