Definición de un puerto HDMI