Para hacer accesibles las máquinas por su nombre (no sólo por su dirección IP), es necesario modificar algunos ficheros de configuración de Linux, entre ellos el fichero /etc/hosts, una base de datos de direcciones IP y nombres asociados, que además permite incluir alias o nombres cortos para las máquinas. Por ejemplo en mi caso
# Ejemplo de /etc/hosts (líneas # son comentarios)
# Las separaciones entre cadenas son tabuladores.
# Direccion IP Alias Nombre y dominio
172.20.45.73 lazaro1 acecom
172.20.45.164 lazaro4 acecom
172.20.45.163 lazaro3 acecom