Au démarrage Windows me dit:
boot.ini incorrect
C:\Windows\System32\hal.dll manquant
Je redémarre avec la console de récupération et là effectivement, j'ai plus de boot.ini
Par contre hal.dll est bien là. Comme j'ai un deuxième PC sous la main (mêmes versions) je recopie le boot.ini mais les hal.dll n'ont pas la même la taille (y en a un qui fait le double de l'autre). J'ai essayé les deux, ça marche.
Si quelqu'un sait à quoi sert ce fichier...