Ajout du nom du site dans la barre de menu + affichage des liens menant vers les pages en fonction des privilèges + réorganisation de l'arborescence + limitation de l'accès à la page domaines.php aux seuls administrateurs

inclusions/barre_menu.php

@@ -1,15 +1,29 @@
+<?php
+
+/**
+ * Page importé intégrant le menu de navigation dans la page d'administration centrale.
+ */
+
+echo <<<_HEREDOC_
 <div>
 	<table>
 		<tr>
+			<td><span>Courtail</span></td>
 			<td><a href="/pages/gestion/administration.php?page=alias">Alias</a></td>
+_HEREDOC_;
+if (testPrivileges()=="administrateur") {
+	echo <<<_HEREDOC_
 			<td><a href="/pages/gestion/administration.php?page=domaines">Domaines</a></td>
 			<td><a href="/pages/gestion/administration.php?page=listes_noires">Listes noires</a></td>
-			<td><a href="/services/sessions/deconnexion.php">Déconnexion</a></td>
+_HEREDOC_;
+}
+echo <<<_HEREDOC_
+			<td><a href="/services/fonctions/sessions/deconnexion.php">Déconnexion</a></td>
 		</tr>
 	</table>
 </div>
+_HEREDOC_;
 
-<?php
 
 if (isset($_GET['message']) && !empty($_GET['message'])) {
 	switch ($_GET['message']) {