Menu"; echo "

"; if ($_SESSION["is_admin"]) { echo "
• Liste des utilisateurs
"; echo "
• Ajouter un utilisateur
"; } echo "

"; // Bouton de déconnexion echo "

"; echo ""; echo "

"; // Reste du code (admin/user)