--- a/RelaxNG/publidoc.rnc	mar. févr. 12 17:59:50 2013 +0100
+++ b/RelaxNG/publidoc.rnc	jeu. févr. 14 17:42:32 2013 +0100
@@ -375,10 +375,12 @@
    x.attribute
  & y.attribute
  & (width.attribute & height.attribute)?
-x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d)?%"} }
-y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d)?%"} }
-width.attribute = attribute width { xsd:token {pattern = "\d{1,2}(\.\d)?%"} }
-height.attribute = attribute height { xsd:token {pattern = "\d{1,2}(\.\d)?%"} }
+x.attribute = attribute x { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
+y.attribute = attribute y { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
+width.attribute = attribute width {
+   xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
+height.attribute = attribute height {
+   xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
 
 hotspot.content =
    (link | audio | video)