Te descontaran las 7.5 horas cuando te den el día libre por festivo (aparte de los dos días de descanso que semanalmente te corresponden). Vamos, que lo que es deducible no es el festivo en si mismo, sino el día libre que te dan por estar disponible o trabajando en festivo.
Creo que va así.
Marcadores