@IPPORT[service] : renvoie le numéro de port du service spécifié.