function getInternetExplorerVersion() { var rv = -1; if (navigator.appName == 'Microsoft Internet Explorer') { var ua = navigator.userAgent; var re = new RegExp("MSIE ([0-9]{1,}[\.0-9]{0,})"); if (re.exec(ua) != null) rv = parseFloat( RegExp.$1 ); } return rv; } 
var nomnav = navigator.appName; var ver = getInternetExplorerVersion();
if((navigator.appName.indexOf("Explorer") >= 0) && (ver<=6)) { window.location.replace("navigateur.php"); }