Congés payés avec semaine de 4 jours et jour férié

Bonjour,

Je dois prendre au titre de mes congés payés, la semaine entre noël et jour de l'an (du lundi 24/12/12 au vendredi 28/12/12) et je travaille 4 jours par semaine (mercredi est mon jour non travaillé).
Ma question est la suivante :
A combien de jours de congés payés ai-je droit sachant que ma semaine de congés inclut un jour férié, le mardi 25/12. Je voudrais savoir en fait si je dois compter le mercredi ou non ?

Merci pour vos réponse.

Nina