<? header("location:spip.php?article$id_article"); ?>
