# HG changeset patch
# User iinov
# Date 1536160711 -7200
# Node ID 58b2704e601a51f0646fa3b4d3de381604bfe36f
# Parent  7e0c719c9526c4c02f0b599a9a5d29efe1c3b586
Ajout intrus en tri

diff -r 7e0c719c9526 -r 58b2704e601a Data/Quiz/sort.xml
--- a/Data/Quiz/sort.xml	jeu. août 23 23:53:03 2018 +0200
+++ b/Data/Quiz/sort.xml	mer. sept. 05 17:18:31 2018 +0200
@@ -11,6 +11,9 @@
 
     <sort>
       <comparison>&lt;</comparison>
+      <intruders>
+        <item shuffle="4">cat</item>
+      </intruders>
       <item shuffle="6">59</item>
       <item shuffle="5">66</item>
       <item shuffle="1">73</item>
diff -r 7e0c719c9526 -r 58b2704e601a RelaxNG/publiquiz.rnc
--- a/RelaxNG/publiquiz.rnc	jeu. août 23 23:53:03 2018 +0200
+++ b/RelaxNG/publiquiz.rnc	mer. sept. 05 17:18:31 2018 +0200
@@ -281,9 +281,10 @@
  & orientation.attribute?
 
 sort.content =
-   comparison?,
-   sort.item,
-   sort.item+
+    comparison?,
+    sort.intruders?,
+    sort.item,
+    sort.item+
 
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ categories ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
@@ -877,6 +878,12 @@
 
 comparison.content = inlines
 
+# ~~~~~~~ sort.intruders
+sort.intruders = element intruders { sort.intruders.content }
+
+sort.intruders.content =
+   sort.item+
+
 # ~~~~~~ sort.item
 sort.item = element item { sort.item.attributes, sort.item.content }