diff --git a/sources/cours/.DS_Store b/sources/cours/.DS_Store
index 66bea5bd..9061938c 100644
Binary files a/sources/cours/.DS_Store and b/sources/cours/.DS_Store differ
diff --git a/sources/cours/LOGOS S1/.DS_Store b/sources/cours/LOGOS S1/.DS_Store
new file mode 100644
index 00000000..f730485e
Binary files /dev/null and b/sources/cours/LOGOS S1/.DS_Store differ
diff --git a/sources/cours/LOGOS S1/logique/LOGIQUE, Cori & Lascar/.DS_Store b/sources/cours/LOGOS S1/logique/LOGIQUE, Cori & Lascar/.DS_Store
new file mode 100644
index 00000000..5008ddfc
Binary files /dev/null and b/sources/cours/LOGOS S1/logique/LOGIQUE, Cori & Lascar/.DS_Store differ
diff --git a/sources/cours/LOGOS S1/logique/LOGIQUE, Cori & Lascar/Logique mathematique, tome 1 Calcul propositionnel, algebre - Cori, René, Lascar, Daniel - Sciences Sup, Paris, 2003- Dunod.pdf b/sources/cours/LOGOS S1/logique/LOGIQUE, Cori & Lascar/Logique mathematique, tome 1 Calcul propositionnel, algebre - Cori, René, Lascar, Daniel - Sciences Sup, Paris, 2003- Dunod.pdf
new file mode 100644
index 00000000..8b021f0a
Binary files /dev/null and b/sources/cours/LOGOS S1/logique/LOGIQUE, Cori & Lascar/Logique mathematique, tome 1 Calcul propositionnel, algebre - Cori, René, Lascar, Daniel - Sciences Sup, Paris, 2003- Dunod.pdf differ
diff --git a/sources/cours/LOGOS S1/logique/LOGIQUE, Cori & Lascar/Logique mathematique, tome 2 Fonctions recursives, theorie - Cori, René, Lascar, Daniel - Sciences sup_cours et exercises corrigés, Paris, ©2003.pdf b/sources/cours/LOGOS S1/logique/LOGIQUE, Cori & Lascar/Logique mathematique, tome 2 Fonctions recursives, theorie - Cori, René, Lascar, Daniel - Sciences sup_cours et exercises corrigés, Paris, ©2003.pdf
new file mode 100644
index 00000000..6e835e35
Binary files /dev/null and b/sources/cours/LOGOS S1/logique/LOGIQUE, Cori & Lascar/Logique mathematique, tome 2 Fonctions recursives, theorie - Cori, René, Lascar, Daniel - Sciences sup_cours et exercises corrigés, Paris, ©2003.pdf differ