Festivo infrasettimanale?

Buongiorno,
lavoratore TURNISTA che lavora sei giorni e ne riposa due; se nella settimana in cui ricade il Natale (lo scorso anno di DOMENICA) ha lavorato da MARTEDI' 20 dicembre a DOMENICA 25 dicembre, con riposo 26 e 27 dicembre, la DOMENICA 25 va considerata FESTIVO INFRASETTIMANALE con conseguente maggiorazione del 100%?
Secondo questo parere
https://www.aranagenzia.it/orientamenti ... ativi.html
sembrerebbe di SI
... poiché, come si è detto, nel caso in esame, la domenica per il dipendente è lavorativa (evidentemente con spostamento del riposo settimanale in altro giorno) e la stessa coincide anche con un giornata di festività infrasettimanale...
Si precisa infatti che se il giorno del Patrono ricade di domenica... e la domenica per il dipendente e' lavorativa... si ha un FESTIVO INFRASETTIMANALE
lavoratore TURNISTA che lavora sei giorni e ne riposa due; se nella settimana in cui ricade il Natale (lo scorso anno di DOMENICA) ha lavorato da MARTEDI' 20 dicembre a DOMENICA 25 dicembre, con riposo 26 e 27 dicembre, la DOMENICA 25 va considerata FESTIVO INFRASETTIMANALE con conseguente maggiorazione del 100%?
Secondo questo parere
https://www.aranagenzia.it/orientamenti ... ativi.html
sembrerebbe di SI
... poiché, come si è detto, nel caso in esame, la domenica per il dipendente è lavorativa (evidentemente con spostamento del riposo settimanale in altro giorno) e la stessa coincide anche con un giornata di festività infrasettimanale...
Si precisa infatti che se il giorno del Patrono ricade di domenica... e la domenica per il dipendente e' lavorativa... si ha un FESTIVO INFRASETTIMANALE