remplacement des ports par leur noms quand ils sont connus

darcs-hash:20060105200555-4ec08-f83ce0cdbf359d5c55f0417a19f16b8842dd3574.gz