1er mai, Ascension, Pentecôte... Les Français ont-ils plus de jours fériés que leurs voisins européens ?