// JavaScript Document FAVORIS

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