Portable hp ou asus + sortie numérique

Bonjour à tous,

Je cherche à acheter un portabel pour ~700€ et j'ai trouvé 2 machines qui me parraissent pas mal du tout:

ASUS X59SR-AP109C :
http://online.carrefour.fr/Produits/portable2/defaut?Prod=M00045345&CC={C54861C9-B46B-4FB9-AD8F-2994E8684475}

et

HP PAVILION DV5-1123EF :
http://online.carrefour.fr/Produits/portable2/defaut?Prod=M00046002&CC={C54861C9-B46B-4FB9-AD8F-2994E8684475}

Concrètement, au niveau perfs, l'ASUS me parait un peu au dessus, seulement, dans mes critères je souhaitais pouvoir brancher ma TV en HDMI depuis le portable, or, l'ASUS ne dispose que d'une sortie DVI...

1ere question, d'après vous lequel des deux est le mieux?

A priori, il existe des connecteurs, voir cable qui font la connexion entre les deux types de sorties mais la grande question que je me pose maintenant, c'est:
->est-ce que en sortie DVI avec la CG ATI HD 3470, je vais aussi faire passer le son en numérique..?
NB: à priori, pour le HP en hdmi avec la CG NviDia GeForce 9600M GT c'est OK.

Merci beaucoup à tous ceuxqui voudront bien m'éclaircir.
A+