Salut,
Je n'ai jamais vu de solution valable en passant par le HDMI dans ce genre de situation , on n'obtient pas du DVI-D Dual-Link avec les adaptateurs HDMI vers DVI existants.
Par contre , c'est possible avec des adaptateurs actifs convertissant à partir du DisplayPort.
A priori , ton modèle de PC portable dispose d'un port USB-C supportant le DP alt-mode (vérifie que c'est bien le cas sur ta configuration) , donc tu pourrais utiliser un adaptateur USB-C vers DVI-D Dual-Link , mais ça a tendance à coûter plus de 50€ ...