diff --git a/docs/adr/0004-outils-de-developpement-dans-docker.md b/docs/adr/0004-outils-de-developpement-dans-docker.md
index 953dded..4c89128 100644
--- a/docs/adr/0004-outils-de-developpement-dans-docker.md
+++ b/docs/adr/0004-outils-de-developpement-dans-docker.md
@@ -28,3 +28,21 @@ par `make setup`. Premier cas : ShellCheck (GPLv3), image
 - `make lint` demande d'avoir lancé `make setup` une fois ; il le dit
   explicitement sinon.
 - Chaque nouvelle image est signalée avec sa licence dans `CREDITS.md`.
+
+## Amendements
+
+### 2026-11-02 — Outils validés pour l'étape 0
+
+Validé par Pierre. Tous tournent dans Docker et servent seulement à
+construire ou tester ; rien n'est embarqué dans l'application.
+
+| Outil | Licence | Image | Usage |
+| --- | --- | --- | --- |
+| ShellCheck | GPLv3 | `koalaman/shellcheck-alpine:v0.10.0` | Lint des scripts shell |
+| Node.js, `@cucumber/gherkin` | MIT | `ustagammon/gherkin` (`docker/gherkin/`) | Validation des scénarios |
+| Debian trixie, GNU Backgammon | logiciels libres, GPLv3+ | `ustagammon/gnubg-reference` | gnubg de bureau de référence |
+| gcc, make | GPLv3 | `ustagammon/build-c` (`docker/build-c/`) | Compilation du moteur |
+| GLib | LGPL 2.1+ | `ustagammon/build-c` | Outils officiels de génération des données (`makeweights`, `makebearoff`) |
+| Python 3 | PSF | `ustagammon/build-c` | Comparateur des références |
+| jq | MIT | `ustagammon/build-c` | Lecture du JSON dans les tests |
+| Emscripten | MIT / NCSA | `emscripten/emsdk:3.1.64` | Compilation du moteur en WebAssembly (étape 0b) |