Bonjour,
c'est en effet bizarre ces raccourcis de noms dans le registre (rien de tel avec mon w7)
ce n'est pas vraiment un fichier à part entière
Dans le registre, c'est une clé ... pour l'envoyer sous forme de fichier vous pouvez "exporter" une clé ou un ensemble de clés, ça va vous creer un fichier ".reg".
Vous pouvez aussi essayer de désinstaller proprement avast avec l'outil , vérifier que les clés sont toujours présentes , éventuellement les supprimer (après sauvegarde du registre) puis ré-installer avast.