Le moniteur est-il livré avec un câble micro HDMI vers HDMI ? Ou doit-on en acheter un séparément ? Si oui, quel câble me recommandez-vous ?