--- a/RelaxNG/publiquiz.rnc lun. oct. 10 12:25:33 2016 +0200
+++ b/RelaxNG/publiquiz.rnc jeu. oct. 13 16:26:59 2016 +0200
@@ -161,7 +161,7 @@
& orientation.attribute?
strict.attribute = attribute strict { xsd:boolean }
multiple.attribute = attribute multiple { xsd:boolean }
-noshuffle.attribute = attribute no-shuffle { xsd:boolean }
+noshuffle.attribute = attribute no-shuffle { "true" | "false" | "alpha" }
long.attribute = attribute long { xsd:positiveInteger }
orientation.attribute = attribute orientation {"north"|"east"|"west"|"south"}