cerco di spiegarmi meglio:
qualcosa tipo get_headers($url), solo che invece dell'header vorrei il contenuto della pagina HTML