JS nav_user :
$_SESSION[nav_user] :