suppression de l'ancien nom du fichier RepositoryServerInstallation.txt