diff -r 9591f38effc4 -r 2d5de0246a8e RelaxNG/publidoc.rnc --- a/RelaxNG/publidoc.rnc sam. août 03 12:04:12 2013 +0200 +++ b/RelaxNG/publidoc.rnc mer. sept. 04 13:40:39 2013 +0200 @@ -349,7 +349,11 @@ # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ media ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ # ~~~~~~ media -media = element media { media.content } +media = element media { media.attributes, media.content } + +media.attributes = + media.type.attribute? +media.type.attribute = attribute type { xsd:NCName } media.content = block.head?,