diff --git a/app-dev.nix b/app-dev.nix
index 328ada3..4c4a2d0 100644
--- a/app-dev.nix
+++ b/app-dev.nix
@@ -14,6 +14,9 @@
     idea.idea-community
     gcc           # pour les appels depuis les scripts
 
+    # Documentation
+    zeal
+
     ## Gestion des sources
     # git       # déjà présent dans "base"
     git-cola