From 8a852c7353837ab86c98dcb6cdb7e8851c864db5 Mon Sep 17 00:00:00 2001
From: Yann Salmon <nomail@yannsalmon.fr>
Date: Wed, 3 Mar 2021 15:39:26 +0100
Subject: [PATCH] Update commun.bib

---
 latex/commun.bib | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/latex/commun.bib b/latex/commun.bib
index e4fb693..082df29 100644
--- a/latex/commun.bib
+++ b/latex/commun.bib
@@ -12,7 +12,8 @@
     title = {Semantics of intuitionistic propositional logic},
     year = {2009},
     publisher = {Uppsala University},
-    howpublished = {Notes de cours}
+    howpublished = {Notes de cours},
+    url = {http://www2.math.uu.se/~palmgren/tillog/heyting3.pdf}
 }
 
 @misc{CoursLegeard,
@@ -23,3 +24,19 @@
   howpublished = {Notes de cours},
   url = {http://ufrsciencestech.u-bourgogne.fr/master1/Qualite-Innovation-PI_archives/QUALITE%20INNOVATION%20M1%20STIC%20V2011/cours-BL.pdf}
 }
+
+@misc{CoursHavet,
+  author = {Frédéric Havet},
+  title = {Cours de théorie des graphes},
+  url = {https://www-sop.inria.fr/members/Frederic.Havet/Cours/tout.html},
+  howpublished = {Notes de cours}
+}
+
+@misc{CoursNisse,
+  author = {Nicolas Nisse},
+  title = {Combinatorial optimisation for telecommunications},
+  year = {2012},
+  publisher = {Équipe Mascotte (CNRS -- INRIA), Université de Nice},
+  howpublished = {Notes de cours},
+  url = {http://www-sop.inria.fr/members/Frederic.Giroire/teaching/ubinet/pdfs/ubinet.pdf}
+}