Merge pull request 'dev' (#1) from dev into master

Reviewed-on: #1
Reviewed-by: malopieds <malopieds@la-banquise.fr>

.gitmodules

@@ -1,3 +1,3 @@
 [submodule "src/main/webui"]
 	path = src/main/webui
-	url = git@git.la-banquise.fr:malopieds/intra-front.git
+	url = git@git.la-banquise.fr:banquise/intra-front.git

shell.nix

@@ -0,0 +1,30 @@
+{ pkgs ? import <nixpkgs> {} }:
+
+pkgs.mkShell {
+  buildInputs = with pkgs; [
+    # Java Development Kit
+    openjdk21
+    
+    # Maven
+    maven
+
+    nodejs_24
+    
+    # Utilitaires optionnels mais utiles
+    git
+    curl
+    which
+  ];
+
+  # Variables d'environnement
+  JAVA_HOME = "${pkgs.openjdk21}/lib/openjdk";
+  MAVEN_OPTS = "-Xmx2048m -Xms512m";
+
+  # Message d'accueil
+  shellHook = ''
+    echo "Environnement de développement Java/Maven activé !"
+    echo "Java version: $(java -version 2>&1 | head -n 1)"
+    echo "Maven version: $(mvn -version | head -n 1)"
+    echo "JAVA_HOME: $JAVA_HOME"
+  '';
+}