*Véase el fichero /etc/services.