C´est simplement un problème de détection logiciel Romain,je ne vois pas ce que vient faire l´histoire du 9ko réservé au bios..mais bon.Sur mes 2 pc j´ai exactement la meme carte et les deux sont détecté en 256mo,peu importe le log ou bench que je prend,pour vérifier la taille de ma GDDR.Par contre si je met mon autre carte,toujour une 256mo et étaangement semblable au autres,c´est plutot 248mo que j´ai de détecté...
Essaiyez de trouver une logique à ca...à part une mauvaise détection tout simplement... 