La célébration des jours fériés en France le 20 mai