Forester, a tool for scientific and mathematical hypertexts