<?php
$IDA = "";
$MATRICULE = "";
if (isset($_REQUEST['IDA'])) {
	if (isset($_REQUEST['MAT'])) {
		$MATRICULE = "&MAT=".$_REQUEST['MAT'];
	}
	$IDA = $_REQUEST['IDA'];
	header('Location:/pile/?IDA='.$IDA.$MATRICULE);
}
?>