diff -r 3c8b406be906 -r 7faa356bad3e RelaxNG/publidoc.rng --- a/RelaxNG/publidoc.rng mer. juil. 20 14:38:48 2011 +0200 +++ b/RelaxNG/publidoc.rng mer. juil. 20 15:05:37 2011 +0200 @@ -135,6 +135,9 @@ + + + @@ -276,6 +279,15 @@ + + + + + + + + + @@ -923,15 +935,6 @@ - - - - - - - - -