printf("<?xml version='1.0'?>\n");
printf("<!DOCTYPE platform SYSTEM \"simgrid.dtd\">\n");
printf("<platform version=\"2\">\n");
printf("<?xml version='1.0'?>\n");
printf("<!DOCTYPE platform SYSTEM \"simgrid.dtd\">\n");
printf("<platform version=\"2\">\n");