diff -r c9e9bead1092 -r 73f2c224e7d7 RelaxNG/publidoc.rnc
--- a/RelaxNG/publidoc.rnc	sam. déc. 20 12:15:06 2014 +0100
+++ b/RelaxNG/publidoc.rnc	dim. déc. 21 15:15:05 2014 +0100
@@ -463,8 +463,7 @@
 
 table.content =
    block.head?,
-   thead?,
-   (tbody+ | tr+),
+   ((thead?, tbody+) | tr+),
    table.caption?
 
 # ~~~~~~ thead, tbody