Bonjour,
Tous ces liens sont morts, j'en ai bien peur, en faisant une recherche sur google avec le nom de l'exécutable, j'ai pas trouvé autre chose que tes liens. Tu pourrais toujours essayer de contacter les gens d'IBM par mail, qui sait, ils pourront peut-être mettre à ta disposition, gratuitement (là j'y crois moi déjà) le bios que tu recherches.