bonjour
1 - tu regarde la reference du bios et des codecs installés en ce moment sur ton lecteur ( normalement dans ton menu tu doit trouver un chapitre "infos systeme")
2 - tu va sur le site du constructeur de ton lecteur et tu cherche dans la section "telechargement" la version la plus recente du bios et des codecs prevus pour ton lecteur
3 - bien faire attention a la maniere de changer le bios ( ca differe suivant les constructeurs soit cd a graver , soit par clé usb )
attention au branchement sur l'energie avant de faire cette manip, ca ne supporte pas les coupures de courant
bonne journée