if (navigator.appName == "Microsoft Internet Explorer" && navigator.appVersion.indexOf("Windows", 0) != -1 && navigator.appVersion.substring(0,1) >= 4) { document.write('<A CLASS="homelink" HREF="javascript:addbookmark()" TITLE="Cliquez pour ajouter cette page &agrave; vos favoris" OnMouseOver="window.status=\'Click to add a bookmark for this page\'; return true;"><NOBR>Faites un signet de cette page!</NOBR></A>'); }
function addbookmark(){ if (document.all)
window.external.AddFavorite(top.location.href, top.document.title) }