<?
  $b = dirname(dirname(dirname(__FILE__)));
  include_once("$b/help_header.php");
  
  $page_section = tr("Manuel utilisateur");  
  include("$libDir/nav.php");

  renderNavbar('users', $usersTOC);  
?>
<p class='bigBold' align='center'>
<?=
  basename($_SERVER['SCRIPT_NAME']) == 'index.php'?
     'Sommaire' : 
     ucwords(str_replace('_', ' ', str_replace('.php','',basename($_SERVER['SCRIPT_NAME']))));
?>
</p>