Ore straordinairo festivo

Qualora venga effettuato del lavoro straordinario in giorno festivo, nel caso in cui non si proceda alla loro liquidazione e non sia prevista la Banca delle Ore, :

a) si procede al recupero di tali ore ed in aggiunta si effettua il Riposo Compensativo;

b) solo riposo compensativo?

Grazie