L’ennui: à petite doses, c’est bon pour vous !