if(document.location.href.indexOf('https:', 0)<0 && document.location.href.toLowerCase().indexOf('panier2.htm', 0)>=0){
	window.location = "https://" + window.location.hostname + window.location.pathname;
}
if(document.location.href.indexOf('https:', 0)>=0 && document.location.href.toLowerCase().indexOf('panier2.htm', 0)<0){
	window.location = "http://" + window.location.hostname + window.location.pathname;
}