Converter from Hdoc format to TEI. More info at http:/ics.utc.fr/hdoc