--- a/RelaxNG/publidoc.rnc	lun. juil. 15 12:16:52 2013 +0200
+++ b/RelaxNG/publidoc.rnc	mar. juil. 16 11:23:37 2013 +0200
@@ -393,13 +393,13 @@
  & y.attribute
  & w.attribute
  & h.attribute?
- & hotspot.type.attribute?
+ & hotspot.display.attribute?
  & xmlid.attribute?
 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})?%"} }
 w.attribute = attribute w { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
 h.attribute = attribute h { xsd:token {pattern = "\d{1,2}(\.\d{1,2})?%"} }
-hotspot.type.attribute = attribute type { "normal" | "visible" | "pulse" }
+hotspot.display.attribute = attribute display { "normal" | "visible" | "pulse" }
    
 hotspot.content =
    ((link | p+ | hotspot.image | audio | video), (spot, scenario?)?)