Nvidia GeForce RTX 4080 : quelle différence de performance entre les GPU 12 et 16 Go GDDR6X ?