diff -r 3b409238c9f9 -r 3433c1953c64 RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	lun. juin 24 09:18:36 2013 +0200
+++ b/RelaxNG/publidoc.rnc	dim. juin 30 21:07:23 2013 +0200
@@ -82,7 +82,11 @@
 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ division ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 # ~~~~~~ division
-division = element division { division.content }
+division = element division { division.attributes, division.content }
+
+division.attributes =
+   division.type.attribute?
+division.type.attribute = attribute type { xsd:NCName }
 
 division.content =
    division.head?,