Utiliser une disquette de boot et copier le fichier permettra sûrement de le restaurer à l'état original.