diff -r 461c1b4bd0e2 -r 3c439435e472 RelaxNG/publiquiz.rnc --- a/RelaxNG/publiquiz.rnc mar. janv. 26 15:11:02 2016 +0100 +++ b/RelaxNG/publiquiz.rnc lun. févr. 08 18:40:38 2016 +0100 @@ -287,7 +287,9 @@ # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ production ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -production = element production { empty } +production = element production { production.content } + +production.content = text # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ composite ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~