+<div id="account">
+ <a href="<?php echo $configs['root_url'] ?>/index.php?page=account">Mon espace client</a>
+ <br>
+ <?php
+ $root_url = $configs['root_url'];
+ if ($is_logged_in) {
+ echo htmlentities($_SESSION['email']) . " <br>";
+ echo "<a href=\"$root_url/index.php?page=logout\">Se déconnecter</a>";
+ } else {
+ echo "<a href=\"$root_url/index.php?page=login\">S'identifier</a>";
+ }
+ ?>
+</div>
+<div id="menu">
+ <a href="<?php echo $configs['root_url'] ?>/index.php?page=home">Accueil</a> |
+ <a href="<?php echo $configs['root_url'] ?>/index.php?page=search">Rechercher un vol</a>
+</div>
+
+