diff -r b47c497e1f0f -r 52c72abcc57d RelaxNG/publidoc.rng --- a/RelaxNG/publidoc.rng ven. janv. 06 12:09:03 2012 +0100 +++ b/RelaxNG/publidoc.rng sam. janv. 07 12:21:10 2012 +0100 @@ -576,6 +576,9 @@ + + +