'; $str .= '  '; if ($_SESSION["user_right"] > $GLOBALS["ANONYM"]) { $str .= "Déconnexion"; } else { $str .= "Connexion"; } $str .= ''; echo $str; } ?>