festività del 1° maggio

Ho assunto una colf dal 3/!/2011 con contratto non convivente per 15 ore settimanali:il lunedi,il mercoledi e il venerdi.Devo pagare nella busta paga di maggio anche il 1° maggio che è festivo e cade di domenica(giorno non lavorativo)?GRAZIE

Il contratto prevede espressamente che "In caso di festività infrasettimanale coincidente con la domenica, il lavoratore avrà diritto al recupero del riposo in altra giornata o, in alternativa, al pagamento di 1/26 della retribuzione globale di fatto mensile."

Dunque il 1° maggio va retribuito, considerato che è compreso tra le festività riconosciute dal contratto...