diff --git a/README.md b/README.md
new file mode 100644
index 0000000000000000000000000000000000000000..62e75f0720c857392169b636fdf1f0c3e39d072c
--- /dev/null
+++ b/README.md
@@ -0,0 +1,11 @@
+# ICHLL_Brenon
+
+La version la plus à jour du papier est dispo
+[ici](https://perso.liris.cnrs.fr/abrenon/no-backup/ICHLL_Brenon.pdf).
+
+Il peut être généré sur tout système où [guix](https://guix.gnu.org/) est
+installé depuis la racine de ce dépôt en lançant la commande:
+
+```
+guix shell -m manifest.scm -- make
+```
diff --git a/manifest.scm b/manifest.scm
new file mode 100644
index 0000000000000000000000000000000000000000..77f085ae7e2c12df44c5cbcc7bf72f557aa8ae86
--- /dev/null
+++ b/manifest.scm
@@ -0,0 +1,8 @@
+(use-modules (guix packages)
+             (gnu packages base)
+             (gnu packages haskell-xyz)
+             (gnu packages pdf)
+             (gnu packages tex))
+
+(packages->manifest
+  (list gnu-make pandoc poppler texlive))