Congés payés année incomplète.

Bonjour,

question Congés payés en année incomplète. Nous démarrons aujourd'hui pour 43 semaines par an. Je paie les CP le 1er juin.
Au mois de décembre mon AMA va prendre une semaine de CP. Trois options :

1. je déduis de la paie du mois de décembre la semaine non travaillée et je paie le 1er juin tous les jours de congés acquis de septembre 2016 à mai 2017 (2,5 jours x 9 mois).
OU
2. je paie en décembre un salaire normal et et je paie le 1er juin tous les jours de congés acquis de septembre 2016 à mai 2017 (2,5 jours x 9 mois), sans déduire les jours pris en décembre.
OU
3. je paie en décembre un salaire normal et et je paie le 1er juin les jours de congés acquis de septembre 2016 à mai 2017 (2,5 jours x 9 mois), en déduisant les jours pris en décembre.