function favoris(){
browserName = navigator.appName;
browserVer = parseInt(navigator.appVersion);
if (browserName == "Microsoft Internet Explorer" & browserVer >= 4) {
window.external.AddFavorite('http://www.casino-intenet.fr', 'Le guide portail du casino en ligne');
}
}