diff --git a/M1 LOGOS . logique.md b/M1 LOGOS . logique.md
index 73dfbd3c..62f9af09 100644
--- a/M1 LOGOS . logique.md	
+++ b/M1 LOGOS . logique.md	
@@ -9,5 +9,8 @@ tags:
 - ? est-ce que les formules sont non-ambigües ? (une même formule donne toujours lieu à la même interprétation)
     - p oui, par théorème
 
+# Bibliographie
+[page du cours de logique](https://webusers.imj-prg.fr/~antoine.chambert-loir/enseignement/2025-26/logique/index.xhtml)
+