Comme entrée vidéo tu veux dire :)
Tu as des adaptateurs qui existent, type Belkin, qui convertissent soi disant le hdmi vers le mini display port : http://www.belkin.com/IWCatProductPage.process?Product_Id=530005
Mais ça coute un peu cher, et surtout, la résolution est limitée, ce qui fait que...