From bb43c336d53a203f698d1d9c43370fe1596cd601 Mon Sep 17 00:00:00 2001
From: rubisalpha <rubisalpha@noreply.localhost>
Date: Mon, 23 Mar 2026 13:32:29 +0000
Subject: [PATCH] Ajouter admin_users.php

---
 admin_users.php | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 admin_users.php

diff --git a/admin_users.php b/admin_users.php
new file mode 100644
index 0000000..8335329
--- /dev/null
+++ b/admin_users.php
@@ -0,0 +1,17 @@
+<?php
+session_start();
+
+// Bloquer si pas Admin
+if (!isset($_SESSION['role']) || $_SESSION['role'] !== 'Admin') {
+    header("Location: dashboard.php");
+    exit();
+}
+
+include 'include/header.php';
+include 'include/nav.php';
+?>
+
+    <h2>Gestion des utilisateurs</h2>
+    <p>Seules les personnes avec le rôle Admin peuvent voir cette page.</p>
+
+<?php include 'include/footer.php'; ?>
\ No newline at end of file