Ouvrir un fichier avec shell32.dll

Bonsoir,

Je lance un SOS pour mon fils qui cet après midi à fait des "bidouillages" sur son PC (sous windows 7 Edition familiale premium 64 bits).
Visiblement il a fait une mauvaise manip et certains fichiers ne s'ouvrent plus comme ils le faisaient auparavant.
Malheureusement, malgré nos demandes il n'a pas fait de point de sauvegarde...Donc pas de restauration possible.
A force de patience nous sommes parvenus à rectifer tous les problèmes sauf un :
Le fichier PARAM.SFO qui s'ouvre avec Adobe Reader alors qu'il s'ouvrait avec la "DLL commune du shell windows" (verification faire auprès d'un de ses amis).
Nous avons fait des recherches et découvert qu'il s'agissait de la dll "shell32.dll".

Il est impossible d'associer cette dll (qu'on trouve dans system32) à ce fichier en faisant un clic droit sur le fichier/propriétés/Modifier "s'ouvre avec". Shell32.dll n'apparait pas dans la liste.

Que doit on faire pour "restaurer l'association" de ce fichier ?

Merci d'avance.