Comment faire un ping en php ? ??un ping qui fonctionne svp car g deja essayé plein de truc, mais sans succès ;-(