Plus de 13 milliards d'euros pour les loisirs numériques