diff -r c51d5097d065 -r de4114d12ef1 RelaxNG/publidoc.rng --- a/RelaxNG/publidoc.rng lun. juil. 18 23:35:32 2011 +0200 +++ b/RelaxNG/publidoc.rng mar. juil. 19 11:01:54 2011 +0200 @@ -156,6 +156,9 @@ + + + @@ -464,6 +467,28 @@ + + + + + + + + + + + + + + + + + + + + + + @@ -862,7 +887,7 @@ - + @@ -879,6 +904,9 @@ + + +