j'ai le même problème avec un DV9530eb.
Je suis en relation par mail avec HP qui m'a donné ce même lien.
J'ai répondu qu'il ne fonctionnait pas, (0 Ko) Is m'ont dit de patienter.
Ils doivent regler des problèmes sur leur serveur de drivers.