function favoris() {
if ( navigator.appName != 'Microsoft Internet Explorer' )
{ window.sidebar.addPanel("AGRA-DISTRI Equipements de Chasse Agramatic","http://www.agra-distri.com/",""); }
else { window.external.AddFavorite("http://www.agra-distri.com/","AGRA-DISTRI Equipements de Chasse Agramatic"); } }