[ping] Obtenir l'IP à partir du nom DNS

Version imprimable