Jours fériés

Bonjour,
j'ai une collègue qui travaille les mardi, mercredi,samedi, peut-elle récupérer le lundi de pâques, de pentecôte et le jeudi de l'ascension? Merci de me donner les articles qui justifie votre réponse car je n'ai pas su trouver sur le code du travail. Cordialement KIKI