Use and construction of thesauri for legal documentation