Oui, ce n'est pas un problème en soi, mais il faut un adaptateur HDMI vers mini HDMI. Le projecteur n'a qu'une entrée mini HDMI.

Attention : les adaptateurs "bouchons" habituels sont trop larges, car la prise USB-C est très proche de la prise mini-HDMI. Il vaut mieux prendre un adaptateur mini-HDMI avec un câble court.
Celui-ci ne correspondait pas : InLine Adaptateur HDMI (Micro HDMI, 0.35 cm)
Celui-ci fonctionne très bien : Delock micro HDMI (type D) - HDMI (type A) (0.20 m, HDMI)