du contenu HD ou du Full HD ?
déjà, il te faut trouver un portable avec une sortie hdmi, ce qui n'ai pas courant, car c'est tout du même plus pratique comme interface...
ensuite, en fonction de ta réponse à la première question, il faudra déterminer quelle puissance tu as besoin (car ça consomme ces contenus là ! et c'est plus facile avec une carte graphique dédiée...)
et ensuite voir avec ton budget, qui me semble un poil short...
(là j'ai repérer un asus F9S en 12" pour une copine avec hdmi et une geforce 8400, mais malheureusement pour toi, chez darty, il est à 1199€...)