Peut-être moins de coeurs, mais de plus hautes fréquences pour la RTX 4090D destinée à la Chine