function get_favicon($url){ 
	// récupère la favicon du site si possible et la stocke en local 
	// si elle n'est pas déjà sur le serveur, sinon, renvoie le chemin
	// vers la version locale
        $id=sha1($url); // génère un nom de favicon local lié à l'url
	$file='CHEMIN_LOCAL_FAVICON/'.$id.'.png';
	$defaultfavicon='design/img/default_favicon.png';
	if ($url==''){return $defaultfavicon;}
	if (!is_file($file)){
		@$header=file_get_contents($url, NULL, NULL, 0, 3000);
		if ($header){
			if (preg_match('#0){
				// favicon trouvée > on récupère et on sauve en local
				if ($r[1]==''){$f=$r[2];}else{$f=$r[1];}
				@$img=file_get_contents($f);
				$url=pathinfo($url ,PATHINFO_DIRNAME );
				if(!$img){@$img=file_get_contents($url.'/'.$f);}
				if(!$img){@$img=file_get_contents($url.$f);}
				if ($img){
					file_put_contents($file,$img);
					return $file;
				}
			}
		}
		// impossible de récupérer la favicon > icone par défaut
		return $defaultfavicon;
	}else{
		return $file;
	}
}