if (navigator.appName=="Microsoft Internet Explorer"&&navigator.appVersion.indexOf("Windows", 0) != -1 && navigator.appVersion.substring(0,1) >= 4) { document.write('<SPAN CLASS=nb>Faites&nbsp;un signet de&nbsp;<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;\">cette&nbsp;page!</A></SPAN>'); }
else { document.write('<SPAN CLASS=nb TITLE="&laquo;Contr&ocirc;le-cliquez&raquo; sur cette page, un menu contextuel surgira vous permettant de mettre cette page dans vos favoris." OnMouseOver="window.status=\'&#147;Control-Click&#148; on this page, a contextual menu will appear, allowing you to &#147;Add this page to your favorites&#148;!\'; return true;" OnMouseOut="window.status=\'\'; return true;">Faites&nbsp;un signet de&nbsp;cette&nbsp;page!</SPAN>'); }
function addbookmark(){ if (document.all) window.external.AddFavorite(location.href, document.title) }