Les mineurs achètent moins de cartes graphiques, bientôt un retour à la normale ?