diff --git a/doc/grapp-yaml.md b/doc/grapp-yaml.md index df3979c9088caf1be8cb9d19dda270a45b108287..560302a2a45b10a81ff31dd8a12360995bb2586c 100644 --- a/doc/grapp-yaml.md +++ b/doc/grapp-yaml.md @@ -32,7 +32,7 @@ edges: On doit spécifier: - `type:` le type de graphe, obligatoire. Les valeurs valides sont celles énumérées plus haut. -- `name:` un nom pour le graphe, obligatoire. C'est n'importe quelle chaine de caractères sans espaces. +- `name:` un nom pour le graphe, obligatoire. C'est une chaine de caractères sans espaces. - `nodes:` l'ensemble des sommets du graphe, obligatoire. Chaque sommet est une chaine de caractères sans espaces et les sommets sont énumérés entre crochets, séparés par des virgules. - `edges:` les arêtes par liste d'adjacence, obligatoire. On doit énumérer tous les sommets, et pour chaque sommet on énumère ses successeurs entre crochets.