La jurisprudence est venue préciser que les deux salariés devaient en bénéficier proportionnellement à la durée des heures effectuées le jour férié.
Comme je l'ai rappelé récemment dans une question similaire à la votre :
Un arrêt de la chambre sociale de la Cour de cassation en date du 8 mars 2007 a rappelé comment apprécier le jour férié pour déterminer la rémunération des travailleurs de nuit pendant ce jour (Cass.soc. 8.3.2007 n°05-44.330).
Dans cette affaire, l'entreprise pratique le travail par roulement. Trois équipes se relaient dans la journée de 5 heures à 13 heures, de 13 heures à 21 heures, et de 21 heures à 5 heures du matin pour l'équipe de nuit. L'employeur n'avait payé la majoration de salaire pour travail du 1er mai que pour les salariés qui avaient commencé leur travail le 1er mai et avait refusé la majoration de salaire pour l'équipe de nuit qui avait commencé la veille et travaillé de 0 heure à 5 heures du matin le 1er mai.
Pour la Cour de cassation, le 1er mai se définit par sa date et non par une durée de 24 heures. En conséquence, le jour férié s'entend comme un jour civil calendaire commençant à 0 heure et finissant à 24 heures, sans qu'il soit possible de donner une définition variable en fonction des horaires de l'entreprise.