Congés payés

Bonjour, ma fille est en CDI dans l'immobilier, elle a posé des congés du mercredi 13 au 17 mai 2015. son employeur lui décompte 4 jours de c.p. tout en sachant que le 14 mai était férié. pour moi c'est 3 jours de décomptés. son employeur lui dit que le samedi est décompté en double et que c'est comme ça. merci de votre aide.