<?php
	$chain=$_SERVER["REQUEST_URI"];
	$chain=preg_replace('`article.php3`','spip.php',$chain);
	$chain=preg_replace('`id_article=`','article',$chain);

	header("Status: 301 Moved Permanently", false, 301);
	header("Location: ".trim($chain));
	exit();
?>