Il y a aussi des adaptateurs HDMI/MiniHDMI.
Ce n'est pas moins cher mais c'est surtout que ça fait un cable en moins...