function favoris()
{
if ( navigator.appName != 'Microsoft Internet Explorer' )
	{ window.sidebar.addPanel("Les dossiers X","http://www.dossiers-x.com/marque-pages.php",""); }
else { window.external.AddFavorite("http://www.dossiers-x.com/favoris.php","Les dossiers X"); }
}