Le mois de mai est généreux pour ceux qui peuvent poser des jours. Cette année, trois jeudis sont fériés. De quoi s’offrir douze jours de repos pour seulement trois jours posés. Mais la baisse d’activité engendrée par ces repos supplémentaires a un coût pour l’économie : 0,19 point de PIB, soit près de 4 milliards d’euros.