Permessi retribuiti o ferie fruiti in giorni festivi soppressi: no alla maggiorazione retributiva prevista dal contratto collettivo