diff -r 814ea44c2469 -r 53a80accc248 RelaxNG/publidoc.rng --- a/RelaxNG/publidoc.rng dim. juin 12 19:35:31 2011 +0200 +++ b/RelaxNG/publidoc.rng lun. juin 13 18:55:59 2011 +0200 @@ -803,6 +803,9 @@ + + +