function favoris() {
	if ( navigator.appName != 'Microsoft Internet Explorer' )	{ 
		window.sidebar.addPanel("Le répertoire des sociétés","http://www.repertoire-societe.com/",""); 
	}
	else { 
		window.external.AddFavorite("http://www.repertoire-societe.com/","Le répertoire des sociétés"); 
	} 
}