Les Jeux olympiques ont bien légèrement dopé la croissance en France