// JavaScript Document
function favoris(texte,url) {
	if ( navigator.appName != 'Microsoft Internet Explorer' )
	{ 
		window.sidebar.addPanel(texte, url,""); 
	}
	else 
	{ 
		window.external.AddFavorite(url, texte); 
	} 

}