Deconnecté
diff --git a/web/js/users.js b/web/js/users.js
index 6394e65..7122dc0 100644
--- a/web/js/users.js
+++ b/web/js/users.js
@@ -98,6 +98,15 @@ instance.get("users", {withCredentials: true, params :{ page:page, nbPages: nbPa
document.getElementById("addUser").addEventListener("click", function(){
location.href="/html/adduser.html";
+});
+
+document.getElementById("searchUser").addEventListener("keydown", function(ev){
+ if(ev.key === "Enter"){
+ var search = document.getElementById("searchUser").value;
+ if(/^\w+([\.-]?\w+)*@\w+([\.-]?\w+)*(\.\w{2,3})+$/.test(search)){
+ alert(search);
+ }
+ }
})