Combien payer un jour férié chômé

Je suis un particulier employeur. Je salarie depuis 10 ans un jardinier qui intervient, selon son contrat, 2 fois par semaine à temps choisi (par lui) et au minimum 40 heures par mois. Il travaille en général le lundi et le vendredi mais ça peut changer selon ses disponibilités.

Au mois de décembre, il a travaillé 40 heures comme convenu mais, la dernière semaine, il n'est venu qu'une seule fois car le lundi était férié et son contrat prévoit que les fériés sont chômés.
Il me demande de lui payer ce jour férié car il aurait dû travailler or il s'est arrangé pour faire quand même les 40 heures dûes donc il n'a pas perdu de salaire suite au jour férié.

Dois-je le rémunérer quand même pour le lundi 25? Si oui, combien d'heures? Sachant qu'il n'a pas d'horaires fixes : il travaille selon ses disponibilités, ce qu'il y a à faire, la météo, la nuit qui tombe plus tôt, etc. à condition de faire au moins les 40 heures prévues dans son contrat. Jusqu'à maintenant, quand un jour de la semaine était férié, il choisissait un autre jour ou venait quand même.

Merci d'avance pour votre aide.