(see http://grid5000.fr for more information on that platform)
It was generated manually in 2011 and manually edited since then.
- A better (and more uptodate) description file can probably be
+ A better (and more up-to-date) description file can probably be
retrieved using https://github.com/lpouillo/topo5k as described on
https://www.grid5000.fr/mediawiki/index.php/TechTeam:Topo5k