diff -r 53a80accc248 -r d77ae7040e3e RelaxNG/publidoc.rng --- a/RelaxNG/publidoc.rng lun. juin 13 18:55:59 2011 +0200 +++ b/RelaxNG/publidoc.rng mar. juin 14 17:13:46 2011 +0200 @@ -506,12 +506,7 @@ - - - - - - + @@ -887,6 +882,9 @@ + + +