$path = $_SERVER['REQUEST_URI']; if (($path == $GLOBALS['base_path'].'infos/horaires') OR ( $path == $GLOBALS['base_path'].'infos/')) { ?>
} if ($path == $GLOBALS['base_path'].'infos/tarifs') { ?>
} if ($path == $GLOBALS['base_path'].'infos/acces') { ?>
} if ($path == $GLOBALS['base_path'].'infos/condition') { ?>
} if ($path == $GLOBALS['base_path'].'infos/documentation') { ?>
} ?>