recuperer_page($url,$nom_de_fichier) ecrit directement le contenu de l'url...

recuperer_page($url,$nom_de_fichier) ecrit directement le contenu de l'url $url dans le fichier $nom_de_fichier, avec une consommation memoire limitee.
Application a copie_locale, charger_plugin, et accessoirement a math.
la constante _COPIE_LOCALE_MAX_SIZE passe a 16Mo car on n'a plus de probleme de taille memoire du coup.