MAJ du fichier server.xml