// script de redirection vers une page HTM
var from = location.href;
//alert (from);
var whereHtml = from.lastIndexOf('.html');
if (whereHtml > 0) {
	var newfrom = from.substring(0,whereHtml)+ ".php"  + from.substring(whereHtml+5,from.length);
} else {
	var whereHtm = from.lastIndexOf('.htm');
	//alert (whereHtm);
	var newfrom = from.substring(0,whereHtm)+ ".php"  + from.substring(whereHtm+4,from.length);
}
//alert (history.go(-1));
location.href = newfrom;