pour maj un bios quand on est sous linux : créer une clé avec freedos, copier le nouveau firmware, bootez sur la clé, faire c:\ et exécutez le fichier