pc portable avec port hdmi en 4k qui supporte le montage vidéo, le moins cher possible

Bonjour, je cherche un pc portable qui permet de faire du montage vidéo, qui à un port HDMI en 4K, et pas forcément beaucoup de stockage (j'ai des disques durs et adaptateur pour ça)