Simple fonction PHP permettant de calculer les jours fériés en France.