diff -r d23cfb7be79e -r 83b7ec3c3132 RelaxNG/publidoc.rng --- a/RelaxNG/publidoc.rng mar. juil. 19 13:25:35 2011 +0200 +++ b/RelaxNG/publidoc.rng mar. juil. 19 18:16:50 2011 +0200 @@ -570,11 +570,11 @@ - + - - + + @@ -860,7 +860,10 @@ - + + + +