Art. 10.
                           Giorni festivi
  1. Al personale dirigente si applicano in materia di festivita'  le
stesse disposizioni vigenti per il restante personale non turnista.