diff --git a/latex/commun.bib b/latex/commun.bib
index 2292959..79d458b 100644
--- a/latex/commun.bib
+++ b/latex/commun.bib
@@ -6,3 +6,11 @@
     volume = {1},
     number = {2}
 }
+
+@MISC{Palmgren_SemHeyting,
+    author = {Erik Palmgren},
+    title = {Semantics of intuitionistic propositional logic},
+    year = {2009},
+    publisher = {Uppsala University},
+    howpublished = {Notes de cours}
+}