function favoris()
{
var bookmarkURL = window.document.URL;
var bookmarkTitle = window.document.title;
if ( navigator.appName != 'Microsoft Internet Explorer' )
{ window.sidebar.addPanel(bookmarkTitle,bookmarkURL,""); }
else { window.external.AddFavorite(bookmarkURL,bookmarkTitle); }
}