+/**
+ * @brief A platform loader.
+ *
+ * Creates a new platform, including hosts, links, and the routing_table.
+ * @param platf a filename of the XML description of a platform. This file follows this DTD :
+ *
+ * @include src/surf/xml/simgrid.dtd
+ *
+ * Here is a small example of such a platform
+ *
+ * @include examples/platforms/small_platform.xml
+ */
+void Engine::load_platform(const std::string& platf)