Czy należy się wolne za święto w przypadku niepełnego etatu

PYTANIE

Mamy zatrudnionego pracownika obsługi w systemie skróconego tygodnia pracy. Pan ten świadczy pracę w poniedziałek i wtorek po 8 godzin i środę 4 godz. W maju przypada 1 święto w sobotę, wiec należy się pracownikom 1 dzień wolny dodatkowo. Proszę o informację, jak to będzie w przypadku tego pana?