--- a/RelaxNG/publidoc.rnc	ven. avril 27 23:03:50 2012 +0200
+++ b/RelaxNG/publidoc.rnc	sam. avril 28 12:41:01 2012 +0200
@@ -21,7 +21,7 @@
 #                                  TOP LEVEL
 # =============================================================================
 
-# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+# ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ top.head ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 top.head = element head { top.head.content }