Salut perso tu a pas mal de choix
deja la ps3, qui lit (la plupart) des divx mais sur un disque ext en fat32 (exit les divx hd de plus de 3.99 go)
sinon moi j'ai acheter un pc pour ma télé de salon relier en hdmi/dvi, donc Full HD, avec une lecteur bluray LG integrer
Donc apres je lit tout ce que j'ai sur mon pc, photo divx,divxhd, mp3 bluray et le touti meme les jeux pc, et resultat vraiement top,
aussi bien que ma ps3,
mais evite les disque dur externe video, qui dise etre full hd, c'est un enorme mensonge, mais avec leur prise hdmi derriere, on s'y croirai !
Ta solution de l'ordinateur portable est bonne mais faut qu'il soit puissant et si ta tv est hd ready ou full, il te faut une sortie hdmi dessus
bon courage