"il me semble normal que le 1er soit déduit" Non le 1er n'est pas déduit car les fériés sont chômés payés, c'est comme le dimanche. Si vous prenez des jours sans solde avec un dimanche au milieu vous ne déduisez pas le dimanche, si?
Le seul cas ou le jours férié n'est pas payé c'est quand il tombe dans une semaine déduite employeur (en année incomplète donc) puisque vous n'êtes pas censé travailler durant cette semaine et elle n'est pas comprise dans la mensualisation (en gros elle n'existe pas donc le jour férié non plus).