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