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