J'ai cherché, mais il parlent pas spécialement de Optérons série 8XX dans les derniers BIOS, je vais essayer de les contacter...
Le probleme, c'est que pour trouver quelqu'un qui a un Optéron (ou autre) en socket 940, et qui veuille bien me le pretter le temps d'un mise à jour, j'ai bien peur que ce soit difficile à trouver...

EDIT: Sinon c'est cher encore les Opterons 275 ?