la risoluzione dei nomi avviene generalmente per mezzo del DNS (v. sez.
19.1
).