/* la fonction php qui gère la barre de navigation */

function NavBar()

{

	echo '<nav><div class="container"><ul class="nav nav-pills">';

	foreach($GLOBALS['MENU'] as $item) {

		echo '<a href="'.$item[1].'"><li class="nav-item btn btn-dark buttonnav';

		if (strcasecmp($_SERVER['SCRIPT_NAME'], $item[2]) == 0) {

			echo ' active';

		}

		echo '">'.$item[0].'</li></a>';

	}

	echo '</ul></div></nav>';

	return;

}