correction du bug javascript qui n'affichait pas les caractères &#xxx; (testé en espéranto et arabe, c'est joli).