@Y0Man76 je réponds à mon propre commentaire pour que vous puissiez savoir. Sans forcément utiliser un dock, j’ai simplement utilisé un adaptateur USB C vers hdmi et cela a fonctionné
la solution de kalou37 (merci) m’avait quand même bien orienté vers la solution finale mais je voulais éviter d’investir dans un dock coûteux 
l’adaptateur à 10€ fait très bien l’affaire
