+<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>
+ |
+ <?php
+ if ($is_logged_in) {
+ echo "<a href=\"" . $configs['root_url'] . "/index.php?page=reservations\">Mes réservations</a> |";
+ }
+ ?>
+</div>
+