L'information du jour : le mois de mai est très 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, parce qu'il y a un 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. Un détail ! En cette longue fin de semaine de la fête du travail, on ne me reprochera pas , du moins je l'espère, de faire court ; et de conclure , comme le Chat, par un brin d'humour ...