Re salut !
en cherchant un peu plus profondément sur la toile, notemment sur le site de realtek, j'ai réussi à réupérer des pilotes pour la carte son. Je les ai installés et rebooté derrière. Là le son ne fonctionnait toujours pas, j'ai installé les drivers proposés par HP (qui ont l'air d'être une mise à jour en fait ...).
Je reboote, la machine me lance le joli son de fermeture de windows, ouverture avec la belle musique windows, bref le son est revenu.

En conséquence, je conseille à ceux qui ont des problèmes de pilotes d'aller chercher les pilotes pour le son sur le site de realtek. Je ne peux malheuresemant pas donner de références, je n'ai rien noté et j'ai fait ça au petit bonheur la chance pour le choix. Ensuite, et seulement ensuite, on peut installer les pilotes proposés par HP.
C'est un peu pénible comme procédure, mais je ne vois rien d'autre. Perso, je suis passé par deux réinstallations de windows avant de trouver !

Bon courage et bonne journée !