param_leader($param_)

/*
procedure de gestion de paramètres
priorite : GET, SESSION
si valeur inexistante dans session, GET[$param_] sera vide
*/
function param_leader($param_) {
if($_GET[$param_]) $_SESSION[$param_]=$_GET[$param_];
else $_GET[$param_]=$_SESSION[$param_];
}