Modification getServersInfo dans install.php