$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') { ?>

} ?>