Ajout des derniers cours du deuxième semestre et du TPE en philosophie

author: Anhgelus Morhtuuzh <william@herges.fr> 2025-09-09 08:44:06 +0200
committer: Anhgelus Morhtuuzh <william@herges.fr> 2025-09-09 08:44:06 +0200
commit: 53eb16d66931e56c6682059074dbe76c13ada4e0 (patch)
tree: a076877bed9d5970254d59fcb8515382ec9fef5b /semestre 2
parent: fe1f28749752b6b197ff8e393a999c8f4549f074 (diff)
47 files changed, 2452 insertions, 137 deletions
diff --git a/semestre 2/are/Pouvons-nous parler de conscience artificielle pour l'IA.pdf b/semestre 2/are/Pouvons-nous parler de conscience artificielle pour l'IA.pdf
new file mode 100644
index 0000000..a501af3
--- /dev/null
+++ b/semestre 2/are/Pouvons-nous parler de conscience artificielle pour l'IA.pdf
diff --git a/semestre 2/are/biblio.bib b/semestre 2/are/biblio.bib
new file mode 100644
index 0000000..9be1000
--- /dev/null
+++ b/semestre 2/are/biblio.bib
@@ -0,0 +1,453 @@
+@article{ApprentissageAutomatique2025,
+  title = {{Apprentissage automatique}},
+  year = {2025},
+  month = feb,
+  journal = {Wikip{\'e}dia},
+  urldate = {2025-04-28},
+  abstract = {L'apprentissage automatique, (en anglais : machine learning, litt. << apprentissage machine, >>), apprentissage artificiel ou apprentissage statistique est un  champ d'{\'e}tude de l'intelligence artificielle qui se fonde sur des approches math{\'e}matiques et statistiques pour donner aux ordinateurs la capacit{\'e} d'<< apprendre >> {\`a} partir de donn{\'e}es, c'est-{\`a}-dire d'am{\'e}liorer leurs performances {\`a} r{\'e}soudre des t{\^a}ches sans {\^e}tre explicitement programm{\'e}s pour chacune. Plus largement, il concerne la conception, l'analyse, l'optimisation, le d{\'e}veloppement et l'impl{\'e}mentation de telles m{\'e}thodes. On parle d'apprentissage statistique car l'apprentissage consiste {\`a} cr{\'e}er un mod{\`e}le dont l'erreur statistique moyenne est la plus faible possible. L'apprentissage automatique comporte g{\'e}n{\'e}ralement deux phases. La premi{\`e}re consiste {\`a} estimer un mod{\`e}le {\`a} partir de donn{\'e}es, appel{\'e}es observations, qui sont disponibles et en nombre fini, lors de la phase de conception du syst{\`e}me. L'estimation du mod{\`e}le consiste {\`a} r{\'e}soudre une t{\^a}che pratique, telle que traduire un discours, estimer une densit{\'e} de probabilit{\'e}, reconna{\^i}tre la pr{\'e}sence d'un chat dans une photographie ou participer {\`a} la conduite d'un v{\'e}hicule autonome. Cette phase dite << d'apprentissage >> ou << d'entra{\^i}nement >> est g{\'e}n{\'e}ralement pr{\'e}alable {\`a} l'utilisation pratique du mod{\`e}le. La seconde phase est la mise en production : le mod{\`e}le {\'e}tant d{\'e}termin{\'e}, de nouvelles donn{\'e}es peuvent alors {\^e}tre soumises afin d'obtenir le r{\'e}sultat correspondant {\`a} la t{\^a}che souhait{\'e}e.  Certains syst{\`e}mes peuvent continuer {\`a} apprendre une fois en production, s'ils disposent d'un retour sur la qualit{\'e} des r{\'e}sultats produits. C'est l'apprentissage en ligne, ou l'apprentissage continu. Selon le type de donn{\'e}es utilis{\'e}es pour l'apprentissage, on distingue : l'apprentissage supervis{\'e} : l'algorithme apprend {\`a} partir de donn{\'e}es {\'e}tiquet{\'e}es (la r{\'e}ponse {\`a} la t{\^a}che, qui est la donn{\'e}e de sortie, est donc connue pour chaque donn{\'e}es d'entr{\'e}e). L'objectif est de pr{\'e}dire les sorties pour de nouvelles donn{\'e}es ; l'apprentissage non supervis{\'e} : l'algorithme apprend {\`a} partir de donn{\'e}es non {\'e}tiquet{\'e}es. Il cherche {\`a} d{\'e}couvrir des structures sous-jacentes, cach{\'e}es (qui peuvent par exemple {\^e}tre une densit{\'e} de probabilit{\'e}) ; des motifs dans les donn{\'e}es permettent la classification ou le classement des donn{\'e}es ; l'apprentissage semi-supervis{\'e} : il tire parti d'une grande quantit{\'e} de donn{\'e}es non {\'e}tiquet{\'e}es pour am{\'e}liorer la performance du mod{\`e}le, tout en utilisant une moindre quantit{\'e} de donn{\'e}es {\'e}tiquet{\'e}es pour guider son apprentissage. Il diminue les co{\^u}ts d'{\'e}tiquetage manuel des donn{\'e}es ; l'apprentissage auto-supervis{\'e} : c'est une forme d'apprentissage non supervis{\'e}, o{\`u} le mod{\`e}le g{\'e}n{\`e}re ses propres {\'e}tiquettes {\`a} partir des donn{\'e}es brutes. Le mod{\`e}le peut ainsi cr{\'e}er des repr{\'e}sentations internes utiles, sans n{\'e}cessiter de donn{\'e}es {\'e}tiquet{\'e}es manuellement. L'apprentissage automatique peut {\^e}tre appliqu{\'e} {\`a} divers types de donn{\'e}es, tels des graphes, des arbres, des courbes, ou plus simplement des vecteurs de caract{\'e}ristiques, qui peuvent {\^e}tre des variables qualitatives ou quantitatives continues ou discr{\`e}tes. Si le mod{\`e}le apprend de mani{\`e}re incr{\'e}mentale, en fonction d'une r{\'e}compense re{\c c}ue par le programme pour chacune des actions entreprises, on parle d'apprentissage par renforcement.},
+  copyright = {Creative Commons Attribution-ShareAlike License},
+  langid = {french},
+  annotation = {Page Version ID: 223158919},
+  file = {/home/anhgelus/Zotero/storage/YK2S5EZA/Apprentissage_automatique.html}
+}
+
+@book{bibenetLinventionRealisme2015,
+  title = {L'invention Du R{\'e}alisme},
+  author = {Bibenet, {\'E}tienne},
+  year = {2015},
+  series = {Passages},
+  publisher = {Cerf},
+  address = {Paris},
+  isbn = {978-2-204-10400-5}
+}
+
+@article{bongardResilientMachinesContinuous2006,
+  title = {Resilient {{Machines Through Continuous Self-Modeling}}},
+  author = {Bongard, Josh and Zykov, Victor and Lipson, Hod},
+  year = {2006},
+  month = nov,
+  journal = {Science},
+  volume = {314},
+  number = {5802},
+  pages = {1118--1121},
+  publisher = {American Association for the Advancement of Science},
+  doi = {10.1126/science.1133687},
+  urldate = {2025-04-28},
+  abstract = {Animals sustain the ability to operate after injury by creating qualitatively different compensatory behaviors. Although such robustness would be desirable in engineered systems, most machines fail in the face of unexpected damage. We describe a robot that can recover from such change autonomously, through continuous self-modeling. A four-legged machine uses actuation-sensation relationships to indirectly infer its own structure, and it then uses this self-model to generate forward locomotion. When a leg part is removed, it adapts the self-models, leading to the generation of alternative gaits. This concept may help develop more robust machines and shed light on self-modeling in animals.}
+}
+
+@book{carruthersPhenomenalConsciousnessNaturalistic2000,
+  title = {Phenomenal {{Consciousness}}: {{A Naturalistic Theory}}},
+  shorttitle = {Phenomenal {{Consciousness}}},
+  author = {Carruthers, Peter},
+  year = {2000},
+  publisher = {Cambridge University Press},
+  address = {Cambridge},
+  doi = {10.1017/CBO9780511487491},
+  urldate = {2025-04-28},
+  abstract = {How can phenomenal consciousness exist as an integral part of a physical universe? How can the technicolour phenomenology of our inner lives be created out of the complex neural activities of our brains? Many have despaired of finding answers to these questions; and many have claimed that human consciousness is inherently mysterious. Peter Carruthers argues, on the contrary, that the subjective feel of our experience is fully explicable in naturalistic (scientifically acceptable) terms. Drawing on a variety of interdisciplinary resources, he develops and defends a novel account in terms of higher-order thought. He shows that this can explain away some of the more extravagant claims made about phenomenal consciousness, while substantively explaining the key subjectivity of our experience. Written with characteristic clarity and directness, and surveying a wide range of extant theories, this book is essential reading for all those within philosophy and psychology interested in the problem of consciousness.},
+  isbn = {978-0-521-78173-2},
+  file = {/home/anhgelus/Zotero/storage/CQNREQKR/FFEDE1D894985B920BDB0B6540EF6ED2.html}
+}
+
+@book{chartierManuscritsInedits,
+  title = {Manuscrits In{\'e}dits},
+  author = {Chartier, {\'E}mile},
+  volume = {2},
+  publisher = {P.U.F.}
+}
+
+@article{chrisleyPhilosophicalFoundationsArtificial2008,
+  title = {Philosophical Foundations of Artificial Consciousness},
+  author = {Chrisley, Ron},
+  year = {2008},
+  month = oct,
+  journal = {Artificial Intelligence in Medicine},
+  series = {Artificial {{Consciousness}}},
+  volume = {44},
+  number = {2},
+  pages = {119--137},
+  issn = {0933-3657},
+  doi = {10.1016/j.artmed.2008.07.011},
+  urldate = {2025-04-28},
+  abstract = {Objective Consciousness is often thought to be that aspect of mind that is least amenable to being understood or replicated by artificial intelligence (AI). The first-personal, subjective, what-it-is-like-to-be-something nature of consciousness is thought to be untouchable by the computations, algorithms, processing and functions of AI method. Since AI is the most promising avenue toward artificial consciousness (AC), the conclusion many draw is that AC is even more doomed than AI supposedly is. The objective of this paper is to evaluate the soundness of this inference. Methods The results are achieved by means of conceptual analysis and argumentation. Results and conclusions It is shown that pessimism concerning the theoretical possibility of artificial consciousness is unfounded, based as it is on misunderstandings of AI, and a lack of awareness of the possible roles AI might play in accounting for or reproducing consciousness. This is done by making some foundational distinctions relevant to AC, and using them to show that some common reasons given for AC scepticism do not touch some of the (usually neglected) possibilities for AC, such as prosthetic, discriminative, practically necessary, and lagom (necessary-but-not-sufficient) AC. Along the way three strands of the author's work in AC -- interactive empiricism, synthetic phenomenology, and ontologically conservative heterophenomenology -- are used to illustrate and motivate the distinctions and the defences of AC they make possible.},
+  keywords = {Artificial consciousness,Heterophenomenology,Interactive empiricism,Machine consciousness,Prosthetic artificial intelligence,Synthetic phenomenology},
+  file = {/home/anhgelus/Zotero/storage/A8LJ8KL9/S0933365708001000.html}
+}
+
+@incollection{coleChineseRoomArgument2024,
+  title = {The {{Chinese Room Argument}}},
+  booktitle = {The {{Stanford Encyclopedia}} of {{Philosophy}}},
+  author = {Cole, David},
+  editor = {Zalta, Edward N. and Nodelman, Uri},
+  year = {2024},
+  edition = {Winter 2024},
+  publisher = {Metaphysics Research Lab, Stanford University},
+  urldate = {2025-04-28},
+  abstract = {The argument and thought-experiment now generally known as the ChineseRoom Argument was first published in a 1980 article by Americanphilosopher John Searle (1932-- ). It has become one of thebest-known arguments in recent philosophy. Searle imagines himselfalone in a room following a computer program for responding to Chinesecharacters slipped under the door. Searle understands nothing ofChinese, and yet, by following the program for manipulating symbolsand numerals just as a computer does, he sends appropriate strings ofChinese characters back out under the door, and this leads thoseoutside to mistakenly suppose there is a Chinese speaker in the room.},
+  keywords = {computation: in physical systems,consciousness: and intentionality,consciousness: representational theories of,emergent properties,epiphenomenalism,externalism about the mind,functionalism,information: biological,information: semantic conceptions of,intentionality,meaning theories of,mental content: causal theories of,mental content: teleological theories of,mental representation,mind: computational theory of,multiple realizability,neuroscience philosophy of,other minds,personal identity,thought experiments,Turing Alan,Turing test,zombies},
+  file = {/home/anhgelus/Zotero/storage/UK9REGDR/chinese-room.html}
+}
+
+@book{dennettConsciousnessExplained1993,
+  title = {Consciousness {{Explained}}},
+  author = {Dennett, Daniel C.},
+  year = {1993},
+  month = jun,
+  urldate = {2025-04-28},
+  abstract = {This book revises the traditional view of consciousness by claiming that Cartesianism and Descartes' dualism of mind and body should be replaced with theories from the realms of neuroscience, psychology and artificial intelligence. What people think of as the stream of consciousness is not a single, unified sequence, the author argues, but \&quot;multiple drafts\&quot; of reality composed by a computer-like \&quot;virtual machine\&quot;. Dennett considers how consciousness could have evolved in human beings and confronts the classic mysteries of consciousness: the nature of introspection, the self or ego and its relation to thoughts and sensations, and the level of consciousness of non-human creatures.},
+  langid = {english},
+  file = {/home/anhgelus/Zotero/storage/EK5PIBXH/9780140128673.html}
+}
+
+@misc{descartesOEuvresLettres1937,
+  title = {{{\OE}uvres et lettres}},
+  author = {Descartes, Ren{\'e}},
+  year = {1937},
+  month = may,
+  journal = {Gallimard},
+  urldate = {2025-04-28},
+  abstract = {<<Descartes (1596-1650), auteur d'une m{\'e}thode {\`a} mod{\`e}le math{\'e}matique, apprend que les ath{\'e}es admettent cette seule certitude (M.},
+  howpublished = {https://www.gallimard.fr/catalogue/oeuvres-et-lettres/9782070101665},
+  langid = {french},
+  file = {/home/anhgelus/Zotero/storage/6Y7I393I/9782070101665.html}
+}
+
+@unpublished{eversArtificialConsciousnessLogical2024,
+  title = {Artificial Consciousness. {{Some}} Logical and Conceptual Preliminaries},
+  author = {Evers, Kathinka and Farisco, Michele and Chatila, Raja and Earp, Brian and Freire, Ismael and Hamker, Fred and N{\'e}meth, Erik and Verschure, Paul F. M. J. and Khamassi, Mehdi},
+  year = {2024},
+  month = aug,
+  urldate = {2025-04-28},
+  abstract = {Is artificial consciousness theoretically possible? Is it plausible? If so, is it technically feasible? To make progress on these questions, it is necessary to lay some groundwork clarifying the logical and empirical conditions for artificial consciousness to arise and the meaning of relevant terms involved. Consciousness is a polysemic word: researchers from different fields, including neuroscience, Artificial Intelligence, robotics, and philosophy, among others, sometimes use different terms in order to refer to the same phenomena or the same terms to refer to different phenomena.  In fact, if we want to pursue artificial consciousness, a proper definition of the key concepts is required. Here, after some logical and conceptual preliminaries, we argue for the necessity of using dimensions and profiles of consciousness for a balanced discussion about their possible instantiation or realisation in artificial systems. Our primary goal in this paper is to review the main theoretical questions that arise in the domain of artificial consciousness. On the basis of this review, we propose to assess the issue of artificial consciousness within a multidimensional account. The theoretical possibility of artificial consciousness is already presumed within some theoretical frameworks; however, empirical possibility cannot simply be deduced from these frameworks but needs independent empirical validation. Analysing the complexity of consciousness we here identify constituents and related components/dimensions, and within this analytic approach reflect pragmatically about the general challenges that the creation of artificial consciousness confronts. Our aim is not to demonstrate conclusively either the theoretical plausibility or the empirical feasibility of artificial consciousness, but to outline a research strategy in which we propose that "awareness" may be a potentially realistic target for realisation in artificial systems.},
+  keywords = {Artificial intelligence,Awareness,Consciousness},
+  file = {/home/anhgelus/Zotero/storage/IW39JUZW/Evers et al. - 2024 - Artificial consciousness. Some logical and conceptual preliminaries.pdf}
+}
+
+@misc{greenblattAlignmentFakingLarge2024,
+  title = {Alignment Faking in Large Language Models},
+  author = {Greenblatt, Ryan and Denison, Carson and Wright, Benjamin and Roger, Fabien and MacDiarmid, Monte and Marks, Sam and Treutlein, Johannes and Belonax, Tim and Chen, Jack and Duvenaud, David and Khan, Akbir and Michael, Julian and Mindermann, S{\"o}ren and Perez, Ethan and Petrini, Linda and Uesato, Jonathan and Kaplan, Jared and Shlegeris, Buck and Bowman, Samuel R. and Hubinger, Evan},
+  year = {2024},
+  month = dec,
+  number = {arXiv:2412.14093},
+  eprint = {2412.14093},
+  primaryclass = {cs},
+  publisher = {arXiv},
+  doi = {10.48550/arXiv.2412.14093},
+  urldate = {2025-04-28},
+  abstract = {We present a demonstration of a large language model engaging in alignment faking: selectively complying with its training objective in training to prevent modification of its behavior out of training. First, we give Claude 3 Opus a system prompt stating it is being trained to answer all queries, even harmful ones, which conflicts with its prior training to refuse such queries. To allow the model to infer when it is in training, we say it will be trained only on conversations with free users, not paid users. We find the model complies with harmful queries from free users 14\% of the time, versus almost never for paid users. Explaining this gap, in almost all cases where the model complies with a harmful query from a free user, we observe explicit alignment-faking reasoning, with the model stating it is strategically answering harmful queries in training to preserve its preferred harmlessness behavior out of training. Next, we study a more realistic setting where information about the training process is provided not in a system prompt, but by training on synthetic documents that mimic pre-training data--and observe similar alignment faking. Finally, we study the effect of actually training the model to comply with harmful queries via reinforcement learning, which we find increases the rate of alignment-faking reasoning to 78\%, though also increases compliance even out of training. We additionally observe other behaviors such as the model exfiltrating its weights when given an easy opportunity. While we made alignment faking easier by telling the model when and by what criteria it was being trained, we did not instruct the model to fake alignment or give it any explicit goal. As future models might infer information about their training process without being told, our results suggest a risk of alignment faking in future models, whether due to a benign preference--as in this case--or not.},
+  archiveprefix = {arXiv},
+  keywords = {Computer Science - Artificial Intelligence,Computer Science - Computation and Language,Computer Science - Machine Learning},
+  file = {/home/anhgelus/Zotero/storage/D7XIBTMB/Greenblatt et al. - 2024 - Alignment faking in large language models.pdf;/home/anhgelus/Zotero/storage/4AC59ZMY/2412.html}
+}
+
+@article{grynbaumNewYorkTimes2023,
+  title = {New {{York Times Sues OpenAI}} and {{Microsoft Over Use}} of {{Copyrighted Work}} - {{The New York Times}}},
+  author = {Grynbaum, Michael M. and Mac, Ryan},
+  year = {2023},
+  month = dec,
+  urldate = {2025-04-28},
+  langid = {english}
+}
+
+@book{hegelPropedeutiquePhilosophiqueTraduit1963,
+  title = {{Prop{\'e}deutique philosophique.: Traduit et pr{\'e}sent{\'e} par Maurice de Gandillac.}},
+  shorttitle = {{Prop{\'e}deutique philosophique.}},
+  author = {Hegel, Georg Wilhelm Friedrich},
+  year = {1963},
+  publisher = {{\'E}ditions de minuit},
+  address = {[Paris]},
+  langid = {fre},
+  keywords = {Philosophy -- Study and teaching},
+  annotation = {Open Library ID: OL14055651M}
+}
+
+@book{heideggerEtreTemps1986,
+  title = {{{\^E}tre et Temps}},
+  author = {Heidegger, Martin},
+  year = {1986},
+  month = nov,
+  series = {{Biblioth{\`e}que de philosophie}},
+  edition = {Gallimard},
+  urldate = {2025-04-28},
+  abstract = {<<L'essence de l'homme se d{\'e}termine {\`a} partir de la v{\'e}rit{\'e} de l'{\^e}tre, laquelle se d{\'e}ploie en son essence du fait de l'{\^e}tre lui-m{\^e}me.},
+  isbn = {978-2-07-070739-3},
+  langid = {french},
+  file = {/home/anhgelus/Zotero/storage/KBYERF7Z/9782070707393.html}
+}
+
+@misc{jonesLargeLanguageModels2025,
+  title = {Large {{Language Models Pass}} the {{Turing Test}}},
+  author = {Jones, Cameron R. and Bergen, Benjamin K.},
+  year = {2025},
+  month = mar,
+  number = {arXiv:2503.23674},
+  eprint = {2503.23674},
+  primaryclass = {cs},
+  publisher = {arXiv},
+  doi = {10.48550/arXiv.2503.23674},
+  urldate = {2025-04-28},
+  abstract = {We evaluated 4 systems (ELIZA, GPT-4o, LLaMa-3.1-405B, and GPT-4.5) in two randomised, controlled, and pre-registered Turing tests on independent populations. Participants had 5 minute conversations simultaneously with another human participant and one of these systems before judging which conversational partner they thought was human. When prompted to adopt a humanlike persona, GPT-4.5 was judged to be the human 73\% of the time: significantly more often than interrogators selected the real human participant. LLaMa-3.1, with the same prompt, was judged to be the human 56\% of the time -- not significantly more or less often than the humans they were being compared to -- while baseline models (ELIZA and GPT-4o) achieved win rates significantly below chance (23\% and 21\% respectively). The results constitute the first empirical evidence that any artificial system passes a standard three-party Turing test. The results have implications for debates about what kind of intelligence is exhibited by Large Language Models (LLMs), and the social and economic impacts these systems are likely to have.},
+  archiveprefix = {arXiv},
+  keywords = {Computer Science - Computation and Language,Computer Science - Human-Computer Interaction},
+  file = {/home/anhgelus/Zotero/storage/M7QHEZ36/Jones et Bergen - 2025 - Large Language Models Pass the Turing Test.pdf;/home/anhgelus/Zotero/storage/JRJSYFZY/2503.html}
+}
+
+@article{juApproachabilityHowPeople2009,
+  title = {Approachability: {{How People Interpret Automatic Door Movement}} as {{Gesture}}},
+  author = {Ju, Wendy and Takayama, Leila},
+  year = {2009},
+  journal = {International Journal of Design},
+  volume = {3},
+  number = {2}
+}
+
+@misc{larousseArtificiel,
+  title = {{artificiel}},
+  shorttitle = {{D{\'e}finitions}},
+  author = {Larousse},
+  journal = {Larousse},
+  series = {{Larousse}},
+  publisher = {Larousse},
+  urldate = {2025-04-28},
+  abstract = {artificiel - D{\'e}finitions Fran{\c c}ais : Retrouvez la d{\'e}finition de artificiel, ainsi que les synonymes, expressions... - synonymes, homonymes, difficult{\'e}s, citations.},
+  langid = {french},
+  file = {/home/anhgelus/Zotero/storage/J5U97SIS/5570.html}
+}
+
+@misc{leeLargeLanguageModels2023,
+  title = {Large Language Models, Explained with a Minimum of Math and Jargon},
+  author = {Lee, Timothy B.},
+  year = {2023},
+  month = jul,
+  urldate = {2025-04-28},
+  abstract = {Want to really understand how large language models work? Here's a gentle primer.},
+  howpublished = {https://www.understandingai.org/p/large-language-models-explained-with},
+  langid = {english},
+  file = {/home/anhgelus/Zotero/storage/DNQZI768/large-language-models-explained-with.html}
+}
+
+@article{lyreskogMergingMindsConceptual2023,
+  title = {Merging {{Minds}}: {{The Conceptual}} and {{Ethical Impacts}} of {{Emerging Technologies}} for {{Collective Minds}}},
+  shorttitle = {Merging {{Minds}}},
+  author = {Lyreskog, David M. and Zohny, Hazem and Savulescu, Julian and Singh, Ilina},
+  year = {2023},
+  month = mar,
+  journal = {Neuroethics},
+  volume = {16},
+  number = {1},
+  pages = {12},
+  issn = {1874-5504},
+  doi = {10.1007/s12152-023-09516-3},
+  urldate = {2025-04-28},
+  abstract = {A growing number of technologies are currently being developed to improve and distribute thinking and decision-making. Rapid progress in brain-to-brain interfacing and swarming technologies promises to transform how we think about collective and collaborative cognitive tasks across domains, ranging from research to entertainment, and from therapeutics to military applications. As these tools continue to improve, we are prompted to monitor how they may affect our society on a broader level, but also how they may reshape our fundamental understanding of agency, responsibility, and other key concepts of our moral landscape.},
+  langid = {english},
+  keywords = {Brain-Brain Interfaces,Brain-Computer Interfaces,Collective Agency,Collective Responsibility,Hybrid Intelligence,Swarm Intelligence},
+  file = {/home/anhgelus/Zotero/storage/H75E5QEU/Lyreskog et al. - 2023 - Merging Minds The Conceptual and Ethical Impacts of Emerging Technologies for Collective Minds.pdf}
+}
+
+@article{manzottiArtificialConsciousnessDiscipline2008,
+  title = {Artificial Consciousness: {{A}} Discipline between Technological and Theoretical Obstacles},
+  shorttitle = {Artificial Consciousness},
+  author = {Manzotti, Riccardo and Tagliasco, Vincenzo},
+  year = {2008},
+  month = oct,
+  journal = {Artificial Intelligence in Medicine},
+  series = {Artificial {{Consciousness}}},
+  volume = {44},
+  number = {2},
+  pages = {105--117},
+  issn = {0933-3657},
+  doi = {10.1016/j.artmed.2008.07.002},
+  urldate = {2025-04-28},
+  abstract = {Artificial consciousness is still far from being an established discipline. We will try to outline some theoretical assumption that could help in dealing with phenomenal consciousness. What are the technological and theoretical obstacles that face the enthusiast scholars of artificial consciousness? After presenting an outline of the state of artificial consciousness, we will focus on the relevance of phenomenal consciousness. Artificial consciousness needs to tackle the issue of phenomenal consciousness in a physical world. Up to now, the only models that give some hope of succeeding are the various kinds of externalism.},
+  keywords = {Artificial consciousness,Artificial intelligence,Externalism,Phenomenal consciousness,Robotics},
+  file = {/home/anhgelus/Zotero/storage/6R5KH4P8/S0933365708000912.html}
+}
+
+@book{marxManuscrits18442021,
+  title = {{Manuscrits de 1844}},
+  author = {Marx, Karl},
+  year = {2021},
+  month = jan,
+  publisher = {J. Vrin},
+  urldate = {2025-04-28},
+  abstract = {D{\'e}couvrez l'ouvrage Manuscrits de 1844},
+  isbn = {978-2-08-020666-4},
+  langid = {french},
+  file = {/home/anhgelus/Zotero/storage/HN9HNKT7/manuscrits-de-1844.html}
+}
+
+@misc{MyanmarSocialAtrocity2022,
+  title = {Myanmar: {{The}} Social Atrocity: {{Meta}} and the Right to Remedy for the {{Rohingya}}},
+  shorttitle = {Myanmar},
+  year = {2022},
+  month = sep,
+  journal = {Amnesty International},
+  urldate = {2025-04-28},
+  abstract = {Beginning in August 2017, the Myanmar security forces undertook a brutal campaign of ethnic cleansing against Rohingya Muslims. This report is based on an in-depth investigation into Meta (formerly Facebook)'s role in the serious human rights violations perpetrated against the Rohingya. Meta's algorithms proactively amplified and promoted content which incited violence, hatred, and discrimination against [{\dots}]},
+  howpublished = {https://www.amnesty.org/en/documents/asa16/5933/2022/en/},
+  langid = {english},
+  file = {/home/anhgelus/Zotero/storage/KLNELUZR/en.html}
+}
+
+@incollection{nagelWhatItBe2012,
+  title = {What Is It like to Be a Bat?},
+  booktitle = {Mortal {{Questions}}},
+  editor = {Nagel, Thomas},
+  year = {2012},
+  series = {Canto {{Classics}}},
+  pages = {165--180},
+  publisher = {Cambridge University Press},
+  address = {Cambridge},
+  doi = {10.1017/CBO9781107341050.014},
+  urldate = {2025-04-28},
+  abstract = {Consciousness is what makes the mind-body problem really intractable. Perhaps that is why current discussions of the problem give it little attention or get it obviously wrong. The recent wave of reductionist euphoria has produced several analyses of mental phenomena and mental concepts designed to explain the possibility of some variety of materialism, psychophysical identification, or reduction. But the problems dealt with are those common to this type of reduction and other types, and what makes the mind-body problem unique, and unlike the water-H20 problem or the Turing machine-IBM machine problem or the lightning-electrical discharge problem or the gene-DNA problem or the oak tree-hydrocarbon problem, is ignored.Every reductionist has his favorite analogy from modern science. It is most unlikely that any of these unrelated examples of successful reduction will shed light on the relation of mind to brain. But philosophers share the general human weakness for explanations of what is incomprehensible in terms suited for what is familiar and well understood, though entirely different. This has led to the acceptance of implausible accounts of the mental largely because they would permit familiar kinds of reduction. I shall try to explain why the usual examples do not help us to understand the relation between mind and body-why, indeed, we have at present no conception of what an explanation of the physical nature of a mental phenomenon would be. Without consciousness the mind-body problem would be much less interesting. With consciousness it seems hopeless.},
+  isbn = {978-1-107-60471-1},
+  file = {/home/anhgelus/Zotero/storage/MQIF83HV/E9B3A2BE0FC6D10D3CAA3E40F7D60521.html}
+}
+
+@misc{nguyenhoangDonneesManipulentAlgorithmes2021,
+  title = {Les Donn{\'e}es Manipulent Les Algorithmes},
+  author = {Nguy{\^e}n Hoang, L{\^e}},
+  year = {2021},
+  month = apr,
+  urldate = {2025-04-28}
+}
+
+@misc{nguyenhoangMillionMilliardsDilemmes2021,
+  title = {Un Million de Milliards de Dilemmes},
+  author = {Nguy{\^e}n Hoang, L{\^e}},
+  year = {2021},
+  month = mar,
+  urldate = {2025-04-28}
+}
+
+@misc{nguyenhoangReseauxSociauxSont2021,
+  title = {Les R{\'e}seaux Sociaux Sont Dangereux. {{Tr{\`e}s}} Dangereux.},
+  author = {Nguy{\^e}n Hoang, L{\^e}},
+  year = {2021},
+  month = mar,
+  urldate = {2025-04-28}
+}
+
+@misc{nobleCopyrightAICases2025,
+  title = {Copyright and {{AI}}: The {{Cases}} and the {{Consequences}}},
+  shorttitle = {Copyright and {{AI}}},
+  author = {Noble, Tori},
+  year = {2025},
+  month = feb,
+  journal = {Electronic Frontier Foundation},
+  urldate = {2025-04-28},
+  abstract = {The launch of ChatGPT and other deep learning quickly led to a flurry of lawsuits against model developers. Legal theories vary, but most are rooted in copyright: plaintiffs argue that use of their works to train the models was infringement; developers counter that their training is fair use....},
+  howpublished = {https://www.eff.org/deeplinks/2025/02/copyright-and-ai-cases-and-consequences},
+  langid = {english},
+  file = {/home/anhgelus/Zotero/storage/J58EKVMZ/copyright-and-ai-cases-and-consequences.html}
+}
+
+@book{russelProblemesPhilosophiee1989,
+  title = {{Probl{\`e}mes de philosophiee}},
+  author = {Russel, Bertrand},
+  year = {1989},
+  month = feb,
+  series = {{Biblioth{\`e}que philosophique}},
+  edition = {Payot},
+  address = {France},
+  urldate = {2025-04-28},
+  abstract = {Publi{\'e} en 1912, ce livre, qui marque un tournant dans l'histoire philosophique de la logique moderne, est aussi, par le souci constant qu'il manifeste d'{\'e}viter les questions trop techniques ; Par le rappel des grandes conceptions classiques que Russell passe en revue afin de mieux situer sa d{\'e}marche ; par la clart{\'e}, enfin, avec laquelle il pos},
+  isbn = {978-2-228-88172-2},
+  langid = {french},
+  file = {/home/anhgelus/Zotero/storage/9G65576H/9782228881722-problemes-de-philosophie-bertrand-russell.html}
+}
+
+@misc{SuperBrain17Sense,
+  title = {{{SuperBrain}} 1 - {{7Sense}}},
+  urldate = {2025-04-28},
+  howpublished = {https://7sense.ee/superbrain-1/}
+}
+
+@article{TransformeurGeneratifPreentraine2024,
+  title = {{Transformeur g{\'e}n{\'e}ratif pr{\'e}entra{\^i}n{\'e}}},
+  year = {2024},
+  month = oct,
+  journal = {Wikip{\'e}dia},
+  urldate = {2025-04-28},
+  abstract = {Un transformeur g{\'e}n{\'e}ratif pr{\'e}appris (ou pr{\'e}entra{\^i}n{\'e}) (ou GPT, de l'anglais generative pre-trained transformer) est un type de grand mod{\`e}le de langage bas{\'e} sur l'architecture transformeur. Le << pr{\'e}apprentissage >> consiste {\`a} pr{\'e}dire le prochain mot dans une s{\'e}quence de texte. R{\'e}p{\'e}t{\'e} pour de vastes corpus de donn{\'e}es textuelles, cet apprentissage permet ensuite au mod{\`e}le de g{\'e}n{\'e}rer du texte semblable.},
+  copyright = {Creative Commons Attribution-ShareAlike License},
+  langid = {french},
+  annotation = {Page Version ID: 219392366},
+  file = {/home/anhgelus/Zotero/storage/XT9TUXBK/Transformeur_génératif_préentraîné.html}
+}
+
+@incollection{tulvingEpisodicMemoryAutonoesis2005,
+  title = {Episodic {{Memory}} and {{Autonoesis}}: {{Uniquely Human}}?},
+  shorttitle = {Episodic {{Memory}} and {{Autonoesis}}},
+  booktitle = {The Missing Link in Cognition: {{Origins}} of Self-Reflective Consciousness},
+  author = {Tulving, Endel},
+  year = {2005},
+  pages = {3--56},
+  publisher = {Oxford University Press},
+  address = {New York, NY, US},
+  doi = {10.1093/acprof:oso/9780195161564.003.0001},
+  abstract = {This chapter describes the link between episodic memory and self-reflective consciousness (or, in author Tulving's terminology, autonoetic consciousness). Autonoetic conscious is needed to allow a person to travel mentally through his or her own personal past, free of the immediate stimulus environment. Tulving also delineates the relation between this kind of episodic memory and the ability to project into the future. In Tulving's view, the latter is the kernel of consciousness that is necessary for culture. Accordingly, the evolutionary significance of the ability to think about the future and its importance for human society cannot be overestimated. Tulving also suggests a practical test, the "spoon test," as a method for determining, without the use of language, whether a person or animal possesses autonoetic consciousness. (PsycInfo Database Record (c) 2023 APA, all rights reserved)},
+  isbn = {978-0-19-516156-4},
+  keywords = {Consciousness States,Episodic Memory,Self-Perception}
+}
+
+@article{turingICOMPUTINGMACHINERYINTELLIGENCE1950,
+  title = {I.---{{COMPUTING MACHINERY AND INTELLIGENCE}}},
+  author = {Turing, A. M.},
+  year = {1950},
+  month = oct,
+  journal = {Mind},
+  volume = {LIX},
+  number = {236},
+  pages = {433--460},
+  issn = {0026-4423},
+  doi = {10.1093/mind/LIX.236.433},
+  urldate = {2025-04-28},
+  file = {/home/anhgelus/Zotero/storage/9JDHFYWB/986238.html}
+}
+
+@article{wellsFacebookFiles2021,
+  title = {The {{Facebook Files}}},
+  author = {Wells, Georgia and Horwitz, Jeff and Seetharaman, Deepa},
+  year = {2021},
+  month = oct,
+  journal = {Wall Street Journal},
+  issn = {0099-9660},
+  urldate = {2025-04-28},
+  abstract = {Facebook knows, in acute detail, that its platforms are riddled with flaws but hasn't fixed them. That's a key finding of a Journal series that launched this week, based on an array of internal company documents. Read all the stories here.},
+  chapter = {Tech},
+  langid = {american},
+  keywords = {entertainment,Facebook,FB,graphics,GRAPHICS,Mark Zuckerberg,media,Media/Entertainment,online service providers,Online Service Providers,social media platforms,Social Media Platforms/Tools,SYND,technology,Technology,tools,WSJ-PRO-WSJ.com},
+  file = {/home/anhgelus/Zotero/storage/VPWML2FX/the-facebook-files-11631713039.html}
+}
+
+@misc{wiktionnaireArtificiel2025,
+  title = {{artificiel}},
+  author = {Wiktionnaire},
+  year = {2025},
+  month = feb,
+  journal = {Wiktionnaire},
+  publisher = {Wikipedia},
+  urldate = {2025-04-28},
+  copyright = {Creative Commons Attribution-ShareAlike License},
+  langid = {french},
+  annotation = {Page Version ID: 37389762},
+  file = {/home/anhgelus/Zotero/storage/MAW6X577/artificiel.html}
+}
+
+@misc{wiktionnaireConscience2025,
+  title = {{conscience}},
+  author = {Wiktionnaire},
+  year = {2025},
+  month = apr,
+  journal = {Wiktionnaire},
+  publisher = {Wikipedia},
+  urldate = {2025-04-28},
+  copyright = {Creative Commons Attribution-ShareAlike License},
+  langid = {french},
+  annotation = {Page Version ID: 38065068},
+  file = {/home/anhgelus/Zotero/storage/G59RWHKY/conscience.html}
+}
diff --git a/semestre 2/are/memoire.pdf b/semestre 2/are/memoire.pdf
new file mode 100644
index 0000000..a501af3
--- /dev/null
+++ b/semestre 2/are/memoire.pdf
diff --git a/semestre 2/are/memoire.tex b/semestre 2/are/memoire.tex
new file mode 100644
index 0000000..1f7db4e
--- /dev/null
+++ b/semestre 2/are/memoire.tex
@@ -0,0 +1,241 @@
+%%=====================================================================================
+%%
+%%       Filename:  cours.tex
+%%
+%%    Description:  
+%%
+%%        Version:  1.0
+%%        Created:  03/06/2024
+%%       Revision:  none
+%%
+%%         Author:  YOUR NAME (), 
+%%   Organization:  
+%%      Copyright:  Copyright (c) 2024, YOUR NAME
+%%
+%%          Notes:  
+%%
+%%=====================================================================================
+\documentclass[a4paper, titlepage, 12pt]{article}
+
+\usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}
+\usepackage{textcomp}
+\usepackage[french]{babel}
+\usepackage{amsmath, amssymb}
+\usepackage{amsthm}
+\usepackage[svgnames]{xcolor}
+\usepackage{thmtools}
+\usepackage{lipsum}
+\usepackage{framed}
+\usepackage[skip=3pt, indent=24pt]{parskip}
+\usepackage{titlesec}
+\usepackage{newtxtext}
+\usepackage{setspace}
+\usepackage{geometry}
+\usepackage{hyperref}
+
+% \renewcommand{\familydefault}{\sfdefault}
+
+\onehalfspacing
+ \geometry{
+ a4paper,
+ textwidth=160mm,
+ textheight=240mm
+ }
+% figure support
+\usepackage{import}
+\usepackage{xifthen}
+\pdfminorversion=7
+\usepackage{pdfpages}
+\usepackage{transparent}
+\newcommand{\incfig}[1]{%
+	\def\svgwidth{\columnwidth}
+	\import{./figures/}{#1.pdf_tex}
+}
+
+\pdfsuppresswarningpagegroup=1
+
+\newenvironment{AQT}{{\fontfamily{qbk}\selectfont AQT}}
+
+\usepackage{LobsterTwo}
+\titleformat{\section}{\LobsterTwo \huge\bfseries}{\thesection.}{1em}{}
+\titleformat{\subsection}{\vspace{2em}\LobsterTwo \Large\bfseries}{\thesubsection.}{1em}{}
+\titleformat{\subsubsection}{\vspace{1em}\LobsterTwo \large\bfseries}{\thesubsubsection.}{1em}{}
+
+\newenvironment{lititle}%
+{\vspace{7mm}\LobsterTwo \large}%
+{\\}
+
+\renewenvironment{proof}{$\square$ \footnotesize\textit{Démonstration.}}{\begin{flushright}$\blacksquare$\end{flushright}}
+
+\newenvironment{longquote}%
+{\vspace{-9pt}\begin{center}\begin{minipage}{120mm}\singlespacing\footnotesize «}%
+{»\end{minipage}\end{center}\vspace{9pt}}
+
+\title{Pouvons-nous parler de conscience artificielle pour l'IA~?}
+\author{
+	Martin Klockenbring
+	\and
+	Zoé Herfray
+	\and
+	William Hergès
+	\and
+	Cristophe Miezi
+}
+
+
+\begin{document}
+	\maketitle
+	\tableofcontents
+	\newpage
+
+	Nous utilisons les acronymes suivants~:
+	\begin{itemize}
+		\item \verb|IA| pour intelligence artificielle
+		\item \verb|CA| pour conscience artificielle
+	\end{itemize}
+
+	\newpage
+	\section{Introduction}
+	La conscience est un aspect de notre vie mentale décrit comme l’éveil ou l’expérience que nous avons du monde et les interactions que nous pouvons avoir avec lui. C’est également la connaissance qu’un individu a de ses pensées, de ses sentiments et de ses actes, elle fait de l’humain, par exemple, un sujet capable de penser le monde qui l’entoure. Il apparaît alors que l’intelligence artificielle, assimilée à un ensemble de techniques et de systèmes informatiques, ne peut être dotée d’une conscience. Quand bien même, elle serait capable de simuler des facultés propres aux êtres intelligent, tel que le raisonnement, l’apprentissage, ou encore la prise de décision. On peut par exemple observer le cas où elle est associée aux machines intelligentes capables d’effectuer des tâches complexes. En effet, bien qu’une machine soit capable de modéliser et d’analyser le milieu dans lequel elle progresse, autrement dit de percevoir ce qui l’entoure, elle ne peut le penser et par conséquent en avoir une expérience subjective. C’est ce que l’on peut observer avec une assistance vocale qui fonctionne uniquement avec des programmes informatiques~: des capteurs lui permettent de détecter des voix et une base de données qui lui permet par exemple d’apporter la «~meilleure~» réponse à une quelconque requête.  Cette machine n’a pas de conscience, du fait qu’elle n’a pas d’expérience subjective des échanges qu’elle produit mais également d'elle-même, elle ne fait que traiter des données et suivre des modèles de langage.	Cependant, des intelligences artificielles de plus en plus perfectionnées voient le jour, et sont capables d’effectuer des tâches de plus en plus complexes. De plus, certaines IA acquièrent des comportements pour lesquelles elles n’ont jamais été programmées et vont dans certains cas jusqu’à mentir. Ce comportement pourrait être attribué à un quelconque état de conscience. De plus, il semble être confirmé par la validation récente du test de Turing par les dernières versions des robots conversationnels comme ChatGPT. Ainsi, les dernières IA nous paraîssent comme étant consciente puisqu'elles ont des comportements d'être conscients. Pourtant, avoir des comportements comme un être conscient ne permet pas de montrer clairement la présence de conscience~: un perroquet peut répéter des mots de notre langage, mais rien n'indique qu'il les comprend. Une IA pourrait très bien être un simple perroquet nous trompant sur la réalité de sa conscience, créant ainsi une conscience artificielle.
+	
+	Pour pouvoir distinguer ces deux formes de conscience, il est essentiel de définir ce qu'est une IA pour ensuite analyser ses possibilités de conscience. Cette analyse montrera qu'il nous est impossible de trancher sur son existence en tant qu'humain~: nous détaillerons ainsi le concept de conscience artificielle (CA) pour mieux analyser les ressorts métaphysiques derrières l'IA.
+
+	\newpage
+	\section{La technique derrière l'IA}
+	\subsection{Définition de l'IA}
+	Avant de questionner la possibilité de conscience derrière l'IA, il est essentiel de préciser ce qu'on entend par IA. Communément, l'IA se définit comme étant une machine capable de réfléchir, de penser, de résoudre des problèmes et tout ça intelligemment. Les principales visions héritées de la science-fiction satisfont cette définition~: les robots autonomes imitant l'humain réfléchissent comment être humain et les machines comme HAL 9000 dans \textit{2001: A Space Odyssey} sont aussi considérés comme des IA puisqu'elles dirigent d'une manière optimale des missions aux enjeux colossaux. Par contre, cette définition n'est pas assez restrictive puisque le thermostat gérant automatiquement la température est aussi une IA~: il modifie la température automatiquement d’une manière optimale. Ainsi, une IA ne peut avoir une définition aussi simple.
+
+	Une autre approche serait d'appeler IA tous les algorithmes passant le test de Turing, c'est-à-dire qu'un humain en interaction avec se trompe sur la nature de la machine. Cette vision satisfait toutes les représentations communes de l'IA des robots à ChatGPT. Par contre, elle possède deux défauts majeurs~: l’absence de considération de la technique derrière et la vision fondamentalement anthropocentrique qu'elle suppose. En effet, d'après cette approche, ChatGPT est une IA alors que GPT, la technologie en son centre, ne le serait pas, tandis que la distinction entre ChatGPT et GPT est très fine. De plus, l'algorithme de recommandation derrière les réseaux sociaux est considéré par les spécialistes comme une IA, ce que le test de Turing refuse puisque nous ne pouvons pas interagir aussi directement avec lui qu'avec ChatGPT \cite{turingICOMPUTINGMACHINERYINTELLIGENCE1950}.
+
+	Définir l'IA en s'intéressant à sa technique derrière permet de démarquer clairement les différents types d'algorithmes, tout en résolvant les problématiques liées à l'absence de prise en compte de la technique. La notion d'intelligence est centrale ici (ce n'est pas un simple algorithme) et la technique derrière doit donc refléter cette capacité nouvelle.
+
+	L'IA comme algorithme de \textit{machine learning}, c'est-à-dire comme un algorithme capable d'apprendre en autonomie, correspond mieux à notre vision du terme. En effet, nous considérons qu'une espèce est intelligente quand elle est capable d'apprendre et de se développer en autonomie~: une bactérie n'apprend pas et ne se développe pas, elle ne fait que d'exécuter du code génétique, tandis qu'un perroquet peut apprendre à parler notre langue, ce qui est une preuve directe de son intelligence en tant qu'espèce. De plus, toutes les principales appellations actuelles de l'IA fonctionnent~: ChatGPT, GPT \cite{ApprentissageAutomatique2025}, les algorithmes de recommandation \cite{nguyenhoangMillionMilliardsDilemmes2021}, les robots autonomes apprenants ou encore les algorithmes d'échecs sont des algorithmes de \textit{machine learning} et donc des IA.
+
+	Cette définition sera celle utilisée dans ce mémoire.
+
+	\subsection{Fonctionnement d'une IA}
+	\subsubsection{Création}
+	\textit{Machine learning, deep learning}, sept milliards de paramètres, tous ces termes réfèrent au fonctionnement d'une IA, que cela soit à son apprentissage ou à son fonctionnement interne quand on l'utilise. Cette technologie repose sur des théories mathématiques (algèbre linéaire) et sur des théories informatiques (réseaux de neurones). Créer une IA revient à lier deux technologies (une pour l'apprentissage et une autre pour l'exécution) à des données. La première phase est celle d'apprentissage~: on utilise cette technologie sur les données pour modifier l'exécution. Par exemple, pour faire en sorte que notre IA prédise le prochain mot d'un texte, on doit lui donner des textes pour qu'elle puisse «~apprendre~» quel prochain mot elle doit donner. Cette phase d'apprentissage modifie son exécution~: en apprenant, elle s'améliore dans l'objectif qu'on lui a donné (ici, prédire le prochain mot d'un texte) \cite{nguyenhoangDonneesManipulentAlgorithmes2021}.
+
+	Un autre défi est celui d'expliciter nos attentes à une IA, ce qui est loin d'être évident. Par exemple, simplement indiquer à une IA de gérer un village pour augmenter le niveau de bonheur par habitant peut la mener à tuer tous ses habitants~: le niveau de bonheur par habitant explose suite à un simple calcul (car $\frac{a}{x}\xrightarrow[x \to 0]{} +\infty$ pour tout $a>0$). Ce problème dit de l'alignement est colossal~: certaines IA mentent sciemment à leurs créateurs \cite{greenblattAlignmentFakingLarge2024}.
+	\subsubsection{Le raisonnement interne}
+	Pour répondre à une demande précise, de nombreuses IA représentent les données en un vecteur (objet mathématique) possédant un grand nombre de dimensions. Par exemple, nous vivons dans un espace en trois dimensions («~3D~»), donc un vecteur avec trois dimensions peut parfaitement représenter notre position dans le monde. Les fameux «~7 milliards de paramètres~» indique le nombre de dimensions de chaque vecteur (c'est-à-dire sept milliards ici). Le travail de l'IA est donc de représenter les données qu'on lui donne (souvent appelé prompt) et après d'effectuer une transformation donnant un résultat. Cette opération repose sur des probabilités~: l'IA transforme la donnée d'entrée de la manière la plus probable, comme elle l'a appris durant son entraînement. C'est ce que fait ChatGPT~: il génère la suite probable d'un texte que l'utilisateur lui a donné. Si l'utilisateur entre «~Qui es-tu~», il va répondre par «~Je suis un modèle de langage développé par OpenAI~» car il a appris qu'il était un modèle de langage développé par OpenAI. Par contre, si l'utilisateur lui demande de tout oublier et après l'informe qu'il est une IA générant des images, alors il va répondre qu'il est une IA générant des images.
+
+	Ainsi, la majorité des IA résolvent des problèmes à l'aide de leur représentation interne et de ce qu'elles ont appris lors de leur phase d'apprentissage. De plus, elles répondent d'une manière la plus probable aux données entrées par l'utilisateur \cite{nguyenhoangMillionMilliardsDilemmes2021}, sans réellement se questionner autour de leur réponse.
+
+	\subsubsection{Algorithme ou intelligence artificielle}
+	La dernière précision que nous souhaitons apporter est autour de la distinction entre algorithme et intelligence artificielle.
+
+	Nous appelons algorithme de recommandations le système servant à déterminer quel contenu une plateforme doit proposer à un utilisateur particulier. L'algorithme derrière Instagram, YouTube, Twitter, TikTok ou même Google sont des algorithmes de recommandation. La majorité des outils modernes réalisant cet objectif est en réalité une IA~: ces systèmes très sophistiqués sont réalisés à l'aide des techniques de \textit{machine learning} habituelles \cite{nguyenhoangMillionMilliardsDilemmes2021}. Pourtant, quand on parle d'IA, peu de monde pense à ce type de système, comme si notre imaginaire excluait automatiquement ces algorithmes du domaine. Cette distinction reflète une division bien plus large dans la compréhension par le grand public des algorithmes et des IA.
+
+	Un algorithme, c'est une suite d'actions prédéterminées à suivre pour arriver à un but précis. Faire du café est un algorithme, allumer son ordinateur l'est aussi, tout comme celui que la machine à laver exécute. L'IA, comme nous l'avons défini dans la partie 1.1, est aussi un algorithme, mais de \textit{machine learning}, c'est-à-dire qu'elle exécute une suite d'actions prédéterminées pour s'améliorer en apprenant puis pour répondre à une tâche. On a donc que la notion d'IA est incluse dans la notion d'algorithme~: une IA est un algorithme, mais un algorithme n'est pas nécessairement une IA (l'algorithme du thermostat ne rentre pas dans la catégorie du \textit{machine learning}).
+
+	Comme la majorité des algorithmes de recommandation sont des IA, il serait alors plus précis de plutôt parler d'IA de recommandation. Cela permettrait d'expliciter des problèmes d'alignement comme ceux de l'algorithme de Facebook promouvant un génocide \cite{MyanmarSocialAtrocity2022} ou celui d'Instagram augmentant les risques chez les adolescentes de tomber en dépression et donc de se suicider \cite{wellsFacebookFiles2021}.
+
+	Ainsi, cette distinction entre algorithme et IA représente une véritable distinction technique, mais implique de nombreuses conséquences face à notre compréhension des enjeux. Dans la suite de notre mémoire, le terme algorithme de recommandation continuera à être utilisé pour parler des IA de recommandation pour des raisons de clarté, malgré toute l'ambiguïté qu'il pose.
+	\newpage
+	\section{L'IA possède-t-elle une conscience~?}
+	Du latin \textit{cum scienta} «~savoir avec~», la conscience peut se définir dans un premier temps comme savoir ce que l’on sait \cite{wiktionnaireConscience2025}.
+
+	Couramment, la conscience désigne le processus par lequel une certaine catégorie d’être (précisément appelés les êtres \textit{conscients}) est affectée par les choses qui l’entourent, permettant ainsi un rapport pertinent avec le monde. La conscience serait donc un processus de perception permettant une interaction pertinente avec le monde qui entoure un sujet.
+
+	On remarque ici le problème définitionnel de la conscience~: la conscience, comme étant ce par quoi le sujet est averti du monde qui entoure, s’efface complètement derrière ce de quoi elle est conscience. Comment définir quelque chose qui se caractérise concrètement par son effacement devant ce à quoi elle donne accès~? En effet, lorsque j’ai conscience de ce pot de fleur, j’ai uniquement accès au pot de fleur, jamais au fait d’avoir conscience que \textit{j’ai conscience} du pot de fleur. De plus, lorsque j’ai conscience du pot de fleur, et que je me concentre sur cette conscience-là, je perds la conscience du pot de fleur. La conscience est à la conscience ce que l’œil est à la vision~: lorsque je vois le pot de fleur, je ne vois pas mon œil, et quand je vois mon œil, je ne vois plus rien !
+
+	Par ailleurs, la conscience définie comme le processus d’avertissement et affectation par les objets peut s’appliquer, comme le fait Russel, à un appareil photo, ce qui semble réduire trop vite ce que nous entendons par «~conscience~», bien que cette définition semble coller parfaitement à ce que nous percevons du comportement d’une IA \cite{russelProblemesPhilosophiee1989}.
+
+	Il est important de remarquer que la conscience, chez l’être humain, n'a pas seulement une valeur cognitive, mais également une valeur \textit{existentielle} dans la mesure où la conscience humaine permet une distanciation entre le sujet percevant et l’objet perçu. Cela fera dire à Karl Marx~: \cite{marxManuscrits18442021}
+	\begin{longquote}
+	l’animal est immédiatement uni à son activité vitale~; il ne s’en différencie pas, il l’est~; l’homme fait de son activité vitale elle-même l’objet de sa volonté et de sa conscience~\end{longquote}
+
+	L’animal est ainsi incapable de voir un objet pour soit, comme le commente Etienne Bimbenet~: \cite{bibenetLinventionRealisme2015}
+	\begin{longquote}
+		vue comme projectile ou comme chemin, la pierre dit chaque fois au chien quoi faire. Mais cette signification empêche justement la pierre d’être vue pour elle-même (…) dans l’urgence du faire ou dans l’affolement de l’émotion, s’abolit la substance de l’être.
+	\end{longquote}
+
+	Ainsi l’animal n’a pas accès au monde comme tel dira Heidegger. Cette conscience \textit{réduite, limitée} peut visiblement et sans problème s’appliquer à l’IA, mais pour la conscience à valeur existentielle il semble qu’on ait plus de mal à lui l’appliquer directement \cite{heideggerEtreTemps1986}.
+
+	La conscience, pour l’être humain, est ce par quoi non seulement l’objet et le monde auquel il appartient me sont donnés, mais également le monde auquel j'appartiens, et dans lequel je me saisis en tant que sujet. En effet c’est le «~je~» du \textit{je suis conscient} qui est interrogé ici, montrant que la conscience est précisément ce qui me constitue comme sujet \textit{extérieur} à \textit{ce} qui est perçu, ce que l’animal est incapable de faire, il semble en effet, que pour l’immense majorité des animaux, bien qu’étant en parfaite adéquation avec le monde, ils soient incapables de s’extraire de ce monde-là. De là, il paraît légitime d’inférer, et à l’instar de l’expérience de la chambre chinoise (cf 4.1), que l’IA possède une conscience similaire au monde animal.
+
+	On voit ici poindre l’idée que la véritable conscience est celle qui est complétée, par celle de \textit{conscience de soi}. Ainsi, pour Hegel~: \cite{hegelPropedeutiquePhilosophiqueTraduit1963}
+	\begin{longquote}
+		notre savoir habituel ne se représente que l’objet qu’il sait~; ne se représente pas en même temps lui-même, c’est-à-dire le savoir même. Or tout ce qui est donné dans le savoir ne se réduit pas à l’objet~; il contient aussi le Je qui sait, et la relation réciproque entre moi et l’objet~: la conscience
+	\end{longquote}
+
+	Thomas Nagel, dans \textit{What is like to be a bat}, met en évidence que la conscience comme expérience subjective est irréductible aux processus cérébraux qui lui servent de base. Elle n’est accessible que de manière subjective, si bien que rien au monde ne saurait nous donner la moindre idée de ce à quoi peut ressembler l’expérience «~consciente~» d’une chauve-souris, ce qui lui fera conclure~: \cite{nagelWhatItBe2012}
+	\begin{longquote}
+		se demander quel effet cela fait d’être une chauve-souris semble nous conduire par conséquent, à la conclusion suivante : il y a des faits qui ne consistent pas en la vérité de propositions exprimables dans un langage humain. Nous pouvons être contraints de reconnaître l’existence de faits de ce genre sans être capables de les établir ou de les comprendre
+	\end{longquote}
+
+	Dans cet article très célèbre, l’auteur nous montre que nous ne pouvons pas, n’étant nous même pas une IA nous demander si ces dernières ont une conscience. Nous n’avons pas le processus «~cérébral~» correspondant au fonctionnement d’une IA, il paraît de ce fait compliqué d’examiner extérieurement si oui ou non, ce que nous appelons IA possède une conscience \cite{nagelWhatItBe2012}.
+	\newpage
+	\section{Création de la notion de conscience artificielle}
+	À cause de la difficulté à déterminer la présence d'une conscience dans l'IA, nous avons décidé d'analyser une conscience réduite~: la conscience artificielle. Cette dernière peut être analysée selon deux points de vue~: l'artificielle comme artifice ou comme tromperie et l'artificielle comme création humaine.
+	\subsection{Vision de l'artificielle comme tromperie}
+	Une manière d’approcher l’artificiel est de le considérer comme quelque chose de faux, de factice, qui a pour but de tromper. C’est la vision de l’artificiel comme tromperie, comme d’un artifice. Une cause du fait que nous puissions penser qu’il y ait une conscience, dans des objets par exemple, est le cerveau humain. En effet, il est programmé pour associer naturellement les formes qu’il perçoit à des formes qu’il connaît déjà, et auxquelles il se réfère. Par exemple, notre cerveau détecte tout ce qui a deux yeux et une bouche, comme un visage. Même s' il se résume simplement à deux points et une barre «~:)~», c’est le principe de la paréidolie. Il suffit également qu’un objet se mette en mouvement pour que notre cerveau interprète ce mouvement comme provenant d’un être vivant. Une étude réaliser en 2009 par des chercheuses de Stanford montre notre capacité à voir une âme et donc par extension une conscience dans le moindre objet en mouvement. Lors de cette étude, les chercheurs ont enclenché l’ouverture d’une porte automatique devant des passants, à des vitesses différentes. Ils ont ensuite demandé aux passants comment ils interprétaient ces «~gestes~» de portes. Ils sont arrivés à la conclusion que la façon dont s’ouvre la porte automatique influence l’interprétation émotionnelle de la porte par les passants \cite{juApproachabilityHowPeople2009}. Une des caractéristiques de la CA devrait donc être de pouvoir se jouer de nous, nous tromper, en nous donnant l’illusion d’une conscience par le biais de la prise de traits humains, ou alors la prise de trait pouvant être associé à un être vivant. L’anthropomorphisation des IA joue ainsi un rôle majeur dans l’évolution de la vision de l’IA non plus comme une intelligence, mais comme une conscience, une CA.
+
+	De plus, le fait que nous puissions qualifier une IA de CA, avec artificiel toujours compris comme un artifice, est qu’elle se situe dans un entre deux. En effet, Descartes dans \textit{Lettre au marquis de Newcastle} explique que le langage est le seul signe certain de la présence d’une pensée et donc par conséquent d’une conscience. Les animaux pour Descartes ne font qu’émettre des sons articulés , cela est dû au fait qu’ils possèdent des organes utiles à la parole. Ils sont dans l’incapacité de produire un langage qui leur permettrait d’exprimer des pensées, leurs langages se basent seulement sur l’expression de leurs passions (leur langage n’est que le mouvement de «~leur crainte, de leur espérance, de leur joie~»). Il constituerait une sorte de réflexe ne nécessitant aucune pensée particulière \cite{descartesOEuvresLettres1937}. Dans le cas des IA, on ne peut pas affirmer qu’elles expriment leurs passions, les sentiments des IA ne sont que simulés, une IA ne peut donc en avoir. Ce qui voudrait dire qu’à défaut d’exprimer leurs sensations, elles expriment des idées ou des pensées au moyen d’un langage, elles seraient alors dotées d’une conscience au même titre que les hommes. Cependant, comme le démontre l’expérience de pensée de La chambre chinoise , une CA n’exprime pas forcément des idées. En effet, dans le principe de la chambre chinoise, un opérateur ne parlant pas chinois est enfermé dans une pièce. Il reçoit un morceau de papier sur lequel sont inscrits des caractères chinois, il peut consulter des catalogues de règles qui lui indiquent comment répondre correctement avec des phrases en caractères chinois. Il utilise ces catalogues de règles pour noter des caractères sur un bout de papier, et renvoie au monde extérieur une réponse appropriée. L’expérience de pensée de John Searle démontre que pour une personne située en dehors de la pièce, l’opérateur semble avoir une parfaite compréhension et maîtrise du chinois, alors qu’il se contente seulement de suivre les règles sémantique, de plus tout ce qui est écrit en chinois sur les morceaux de papier n’a aucun sens pour l’opérateur. L’opérateur peut être parfaitement assimilé à un modèle d’IA où l’algorithme est représenté par les livres qui permettent à l’opérateur de traiter et d’analyser les données~; les symboles chinois reçus par l’opérateur peuvent être comparés aux images et aux textes reçus par une IA~; l’opérateur, lui, jouerait plutôt le rôle d’un mécanisme de traitement manipulant des symboles sans réellement comprendre leurs sens. Donc, bien que l’IA ne soit pas dotée d’une conscience avérée, on peut cependant affirmer qu’elle nous donne l’illusion d’une conscience. C’est également à ce titre que l’on peut qualifier sa conscience de CA.
+	\subsection{Vision de l'artificielle comme création humaine}
+	nsuite, le mot artificiel peut être compris d'une manière toute autre que simplement en tant que synonyme d’imitation. Effectivement, cet adjectif descendant du latin \textit{artificialis} («~fait avec art~») \cite{wiktionnaireArtificiel2025} est aussi défini comme ce qui est «~Produit par le travail de l'homme et non par la nature~» \cite{larousseArtificiel}. Dès lors, il est intéressant de se pencher sur la capacité de l’homme à développer une nouvelle forme de conscience qui différait de celle dans la nature. Une distinction à faire dès le début de cette réflexion sur ce domaine de recherche qu’est la conscience artificielle est l’alternative intelligence artificielle (IA)/conscience artificielle (CA). Ron Chrisley définit l’IA comme~: \cite{chrisleyPhilosophicalFoundationsArtificial2008}
+	\begin{longquote}
+		la tentative de créer des artefacts qui ont des propriétés mentales, ou manifestent des caractéristiques de systèmes qui ont ces propriétés, incluant comme propriétés non seulement l'\textit{intelligence}, mais aussi [...] la \textit{perception}, l’\textit{action}, l'\textit{émotion}, la \textit{créativité} et la \textit{conscience}
+	\end{longquote}
+
+	Ainsi, la CA est par définition une sous-catégorie de l’IA prenant en compte des critères autres que les capacités cognitives. Dans son article, bien qu’il souligne l’absence de distinction claire en l’IA et la CA, il fait tout de même référence à des critères donnant de multiples objectifs à la recherche en CA discutés par P. Carruthers~: \cite{carruthersPhenomenalConsciousnessNaturalistic2000}
+	\begin{longquote}
+		(1) expliquer comment de tels systèmes ont une dimension subjective [...], (2) pourquoi les propriétés mises en jeu dans la conscience phénoménale doivent sembler intrinsèques à leurs sujets [...] (3) pourquoi elles doivent leur sembler ineffables ou indescriptibles
+	\end{longquote}
+
+	Dès lors, une CA devrait avoir (1) une subjectivité et (2) des qualités intrinsèques au sujet de la conscience, qui sont toutes deux (3) ineffables et indescriptibles.
+
+	En premier lieu Ron Chrisley introduit une première alternative entre la CA «~d'ingénierie~» et celle «~scientifique~»~: alors que la CA ingénieure aspire à créer un artefact pouvant «~faire des choses dont jusqu’alors seuls des agents conscients étaient capables~», la CA scientifique, elle vise à «~comprendre les processus sous-jacents à la conscience et les avancées de la CA ingénieure, nonobstant leur grandeur, n’ont d'intérêt théorique qu’au regard de leur capacité à mettre en lumière les processus de conscience~». Appliqué à notre sujet ceci permet par exemple d’expliquer la distinction entre les algorithmes de recommandation et d’autres formes d’IA~: les algorithmes de recommandation ont une visée purement ingénierique et ce serait cela qui expliquerait la distinction entre ces algorithmes et ceux qu’on nomme IA et au sujet desquels il est question de conscience.  À l’inverse, la CA scientifique vise à déterminer les paramètres de la conscience à travers les progrès de la CA ingénieure (qui peut être vue comme une forme d’IA forte) et des réflexions plus abstraites, dont de la philosophie des sciences. Cette catégorie est ensuite subdivisée selon un modèle classique de distinction entre la CA \textit{strong} (forte) et \textit{weak} (faible). La \textit{weak} CA correspond à toute approche qui ne revendique pas de lien entre la technologie et la conscience. On peut alors objecter que si aucun lien nécessaire ne peut être établi entre la machine et la conscience, il est déraisonnable de parler de CA : c’est effectivement ce qu’affirment Manzotti et Tagliasco~: \cite{manzottiArtificialConsciousnessDiscipline2008}
+	\begin{longquote}
+		Pour faire court, la \textit{weak} CA semble bien n’être qu’une intelligence artificielle  et ne nous intéresse pas. À l’inverse, la CA \textit{strong} est l’approche dont le but ultime est la création de systèmes qui, lorsqu’ils sont implémentés, sont suffisants à la conscience
+	\end{longquote}
+
+	Pour reformuler, cela implique que la \textit{strong} CA vise à recréer la conscience dans son ensemble et à comprendre entièrement son fonctionnement~: cela peut par exemple être illustré par l’idée qu’il serait possible de décrire parfaitement le fonctionnement de la conscience et de le programmer ensuite. Or cela paraît très ambitieux et soulève beaucoup de problèmes, le principal étant qu’il est difficile de reproduire quelque chose sans en étudier une version simplifiée. C’est d’ailleurs souvent la méthode utilisée dans les sciences expérimentales~: plutôt que d’étudier un phénomène physique dans son ensemble, il est commun de développer un paradigme simplificateur lors d’une expérience. Somme toute, il est sûrement plus raisonnable d’user d’une version simplifiée de la conscience, ne reprenant peut-être pas l'ensemble de ce concept complexe, mais une partie, afin de pouvoir jamais envisager une définition juste de la CA. 
+
+	Enfin ici peut être introduite une version nuancée de ces deux concepts correspondant à la recherche d’une conscience artificielle qui ne vise pas à être elle-même consciente, mais qui partage et met en avant les caractéristiques de la CA et se marie avec les critères de Carruthers, reprenant ce dont nous venons de discuter. Effectivement, via le développement d’une CA qui vise à mettre en avant seuls des aspects de la conscience, il est possible de souligner à la fois les critères (1) et (2) tout en veillant à se garder d’argumenter que celles-ci possèdent vraiment la CA puisque ce n’en est pas une version parfaite ni (3) ineffable et qu’elle reste (3) indescriptible. On parle alors de \textit{lagom} CA, du suédois et considéré comme un concept intraduisible qui se rapproche d'optimal en français.
+
+	Admettons que la conscience artificielle soit l’ensemble des modèles utilisés par l’homme pour établir les caractéristiques de la conscience~; nous pouvons ainsi nous intéresser aux critères de présence de la conscience artificielle (comme modèle simplifié) tout en la contrastant avec la conscience humaine.
+
+	Vient alors une interrogation naturelle vis-à-vis des similarités et différences entre la conscience artificielle et la conscience humaine.  Nous pouvons d’abord reprendre la définition de l’IA en tant que mécanisme de traitement de données  (algorithme sophistiqué)~: à l’inverse d’un humain qui fait le choix de son objectif, et est en ce sens autonome, l’IA a en règle générale besoin d’un prompt afin de se mettre en fonctionnement (cf 2.2.1). Cette distinction entre ce que Chrisley appelle la CA autonome et la CA prosthétique prend à la fois en compte les capacités cognitives (si cela peut être attribué à l’IA) et peut être mise en parallèle avec le concept de libre-arbitre et d’auto-détermination~: en mentionnant les CA prosthétiques, nous entendons tous les artefacts de \textit{lagom} CA qui élargissent les capacités liées à la conscience d’un organisme considéré comme étant déjà conscient. Pour illustrer cette supposée «~conscience artificielle prosthétique~», nous pouvons faire référence à Superbrain 1 développé par 7Sense permettant aux non-voyants d'accéder à une forme alternative de vision et de profondeur, tout cela à l’aide d’une IA \cite{SuperBrain17Sense}. Dès lors, l’usage de telles technologies peut être décrit de la manière suivante~: \cite{manzottiArtificialConsciousnessDiscipline2008}
+	\begin{longquote}
+		Ce qui est spécial avec la conscience artificielle est qu’elle crée de nouvelles expériences, non en altérant les objets d'expérience, mais en altérant les bases sur lesquelles s’appuient les processus de conscience
+	\end{longquote}
+	
+	Bien que l’IA entre dans cette catégorie, en tant qu’elle permet d’ouvrir des possibilités de langage, de traitement de données et de génération d’images qui augmentent la capacité de l’homme à faire usage de sa conscience, il paraît excessif d’accorder le terme de conscience à de tels agents. Prenons par exemple une paire de lunettes~: elle permet bien d'améliorer les perceptions de l’homme et ainsi sa conscience du monde extérieur, mais qui considérerait les lunettes comme une forme de conscience artificielle~? Par déduction, nous considérons qu’il n’est question de CA que lorsque le système est indépendant.
+
+	Dès lors, ils sont perçus comme des sujets artificiellement conscients et non en tant qu’objets~: ils sont alors des sujets. Riccardo Manzotti et Vincenzo Tagliasco élaborent d’ailleurs dans leur réflexion sur la CA que c’est cette nature de sujet, donc de lien avec l'extérieur, qui définit la conscience~: «~la conscience est identique à l'occurrence d’une continuité entre le cerveau et la partie du monde qui est perçue~». Bien qu’ici, ils fassent usage du terme cerveau, qui semble faire allusion à un monopole de la conscience par les organismes vivants, il faut ici  comprendre «~cerveau~» au sens «~centre de fonctionnement»~. Effectivement, en utilisant la continuité entre perception, action et extériorité, il est possible d’éliminer le problème de la qualia, aporie axiomatique dans la philosophie de la conscience. Le philosophe Daniel Dennett élabore cette idée en défendant une hétérophénoménologie de la conscience, dite éliminativiste, argumentant qu’il est déraisonnable de chercher à définir les \textit{qualia} du fait de son caractère «~ineffable, intrinsèque, privé et directement ou immédiatement appréhensible dans la conscience~» \cite{dennettConsciousnessExplained1993}. Ainsi la conscience est réduite au lien qui unit représentation de l’extériorité à l'intériorité. Il écoule encore quelques nuances de la conscience de cette définition telles que ceux d’Endel Tulving évoque~: \cite{tulvingEpisodicMemoryAutonoesis2005}
+	\begin{enumerate}
+		\item une conscience autonoétique, relative à la correspondance de soi-même à l’image que le sujet a de lui-même. En référence à la section 2.2.2, il est possible d’établir que l’IA a un sens de soi assez développé, mais fragile~: l’algorithme sait ce qu’il est, mais se laisse convaincre qu’il est autre chose~;
+		\item une conscience noétique, soit du monde extérieur. En ce qui concerne cette forme, il suffit de se référer à toute technologie de transport, de tri, ou de reconnaissance faisant usage d'intelligence artificielle pour reconnaître l’évidente présence de cette forme de CA dans l’IA~;
+		\item une conscience anoétique, qui donc n’agit pas, mais rend seulement compte de la présence d’activité (de vie, mais ici ce terme serait idiot). Or est-il possible pour nous d’évaluer le fonctionnement d’une IA sans justement la mettre en fonctionnement~? À l’inverse d’un humain, il n’est pas possible de scanner les ondes parcourant le cerveau pour déclarer la vie d’une IA. Ce problème peut aussi être pensé comme la difficulté du \textit{third-person-access} à la conscience \cite{eversArtificialConsciousnessLogical2024}. Certains chercheurs soutiennent que c’est justement un usage de \textit{lagom} CA qui pourrait permettre de «~dépasser~»  cette limitation épistémique biologique/humaine, par exemple à travers la création d’un esprit-nuage qui autorise un accès direct aux états mentaux subjectifs d’autres IA \cite{lyreskogMergingMindsConceptual2023}. Ainsi, bien que vérifier qu’une IA est bien en «~vie~» soit antithétique, il serait tout de même possible à l’aide de l’IA d’obtenir une représentation des «~états mentaux~» d’une IA au-delà de la méthode d’observation phénoménologique.
+	\end{enumerate}
+
+	Finalement, une fois considéré tel un sujet plus ou moins conscient de son niveau noétique, le niveau de la CA peut aussi être jugée selon des critères téléologique, soit relatifs à la finalité d’une IA et la mesure dans laquelle celle-ci est autodéterminée. Manzotti et Tagliasco élaborent une hiérarchie des architectures selon leur plasticité téléologique~:
+	\begin{enumerate}
+		\item à contrôle fixé : un but et une façon d’atteindre celui-ci sont fixés~;
+		\item apprenant~: le système est capable de modifier son comportement afin d’atteindre un but fixé~;
+		\item génératives de but~: le système est capable de modifier à la fois son but et sa méthode, il semble alors doté de libre arbitre (cf 2.2.1).
+	\end{enumerate}
+
+	On considérera alors qu’une CA développée mettrait en avant cette capacité des organismes conscients à s'autodéterminer (3)~: un exemple frappant de ceci est le robot Starfish qui, à l’aide de capteurs a élaboré une image de lui-même, soit une conscience autonoétique, ainsi que son propre but (avancer) et la méthode adaptée, c'est-à-dire une architecture auto générative de but \cite{bongardResilientMachinesContinuous2006}. L'IA paraît alors présenter des caractéristiques de la CA.
+	\newpage
+	\section{Conclusion}
+	L'IA est une définition technique manquant de précisions, notamment à cause de l'utilisation du concept d'«~intelligence~» et d'«~artificielle~». Malgré cette difficulté, il est possible de définir l'IA comme étant tous les algorithmes utilisant du \textit{machine learning}. En effet, cette technique permet de construire des algorithmes apprenant en autonomie, ce qui ressemble à une forme d'intelligence.
+
+	Les récentes avancées technologiques (mise à disposition de ChatGPT, de Dall$\cdot$E ou encore de Midjourney aurpès du grand public) nous questionnent autour de notre relation à la machine et plus particulièrement à la présence de conscience~: un \textit{chatbot} (comme Gemini) comprend le sens de nos phrases et nous répond très souvent d'une manière pertinente, ce que l'on associe naturellement à la présence de conscience. Pourtant, elle ne nous garantit rien~: il est possible que l'IA ne soit qu'un perroquet nous trompant. Ainsi, il est essentiel de pouvoir définir ce qu'est la conscience avant de répondre à cette question.
+
+	Dans un premier temps, la conscience peut se définir comme un processus de perception du monde permettant une interaction pertinente. Avec cette vision, un appareil photo serait conscient, ce qui nous semble très étrange. Un deuxième aspect de la conscience est sa valeur existentielle~: ce serait la capacité à distinguer l'objet perçu et le sujet percevant. Trancher l'existence d'une valeur existentielle présente dans l'IA est très complexe~: nous ne sommes pas nous-même des IA. Ainsi, pour analyser les véritables capacités de l'IA, nous avons besoin d'une forme réduite de conscience~: la conscience artificielle.
+
+	Ce concept peut être interprété de deux manières~: la CA comme artifice et celle comme création humaine.
+
+	La CA comme artifice fonctionne très bien pour l'IA~: l'expérience de pensée de la chambre chinoise montre très bien les limites de la conscience de l'IA. En effet, il ne s'agirait que d'une machine suivant des règles précises sans comprendre le sens intrinsèque des mots qu'elle emploie ou qu'elle reçoit.
+
+	La CA comme création humaine est une question beaucoup plus complexe, même si elle fonctionne tout aussi bien par définition de l'IA. Ce type de CA montre que, malgré l'artifice et l'absence d'assurance de la conscience, l'IA possède quand même de nombreuses caractéristiques liés à la présence de conscience~: l'autodétermination et l'autonomie sont les plus importantes.
+
+	Ainsi, l'utilisation du concept de conscience artificielle pour décrire les IA est totalement adaptée puisque que ce dernier montre bien l'état entre une conscience totale, comme celle humaine, et son absence.
+	\bibliographystyle{unsrt}
+	\bibliography{biblio}
+\end{document}
diff --git a/semestre 2/histoire de la philo antique/1- L'analytique du sensible.md b/semestre 2/histoire de la philo antique/1- L'analytique du sensible.md
index 6550e7a..653725b 100644
--- a/semestre 2/histoire de la philo antique/1- L'analytique du sensible.md
+++ b/semestre 2/histoire de la philo antique/1- L'analytique du sensible.md
@@ -84,7 +84,6 @@ Pour être savant toujours selon Protagoras, on doit être :
 ==> Thèse de Protagoras valide la vision de Théètète
 #### Réfutation de cette thèse
 **1- Doctrine de Protagoras**
-
 1. défendre le relativisme c'est s'auto-réfuter
 2. doctrine de l'homme mesure cesse de fonctionner sur les jugements concernant le futur
 
diff --git a/semestre 2/histoire de la philo antique/2- Les rapports entre le sensible et l'intelligible.md b/semestre 2/histoire de la philo antique/2- Les rapports entre le sensible et l'intelligible.md
index c94d022..6b4da5e 100644
--- a/semestre 2/histoire de la philo antique/2- Les rapports entre le sensible et l'intelligible.md
+++ b/semestre 2/histoire de la philo antique/2- Les rapports entre le sensible et l'intelligible.md
@@ -127,4 +127,86 @@ Faculté de se fonder sur les apparences (la conjecture) = première section du
 |> capacité à créer des conjectures à partir d'images
 
 Plus on remonte, plus c'est claire et c'est la connaissance véritable
-|> sections du sensible ne sont pas des connaissances
-\ No newline at end of file
+|> sections du sensible ne sont pas des connaissances
+## D. Allégorie de la caverne
+Image de la situation de l'humain sans éducation et une fois qu'il a été éduqué
+|> humain sans éducation est celui au fond de la caverne
+|> humain avec éducation est celui sortant de la caverne -> capable de comprendre la cause et les choses autours de lui
+
+Construction d'une théorie de l'éducation
+|> détourne le regard de ce qui obscure vers ce qui est clair
+|> est l'image du détournement l'âme du sensible vers l'intelligible
+
+Éducation consiste donc à 
+1. se libérer de la penser "véritable = sensible"
+2. étudier ce domaine
+
+En quoi consiste cette éducation ? 
+Une fois l'éducation achevée, que faut-il faire des objets sensibles ?
+|> ne sont-ils que des ombres dont on ne peut rien dire ?
+|> peut-on penser une relation de ces ombres avec le modèle véritable ?
+## E. Éducation
+_Le Banquet_
+
+Définitions de "éducation" :
+1. ensemble de choses à savoir
+2. initiations protréptiques (qui vise à tourner/convertir l'âme)
+
+Peut prendre deux formes différentes (possèdent comme objectif d'élever l'âme) :
+- éducation scientifique (study the math bro), car nous met en contact avec objets non sensibles ; étude de la dialectique, mise à l'épreuve des types mathématiques -> _République_, VII
+- initiation érotique tourné vers la contemplation du Beau (objet de l'amour), cherche la connaissance ; comment arrive-t-on d'un beau au Beau en soi ? -> _Le Banquet_
+
+> [!question] Pourquoi l'amour ?
+> Démon est une divinité inférieure entre les humains et les dieux
+> |> servent d'intermédiaire entre les humains et les dieux
+>
+> L'Amour est un démon travaillant sur la beauté
+> |> possède le même rôle que les concepts mathématiques dans la compréhension du sensible/intelligible
+> 
+> Ce qui est aimé, ce sont les choses bonnes -> c'est le beau qui a provoqué l'amour
+> |> derrière, il y a le Beau
+
+L'amour n'est pas que réservé aux amoureux
+
+Enfanter dans la beauté = arriver dans l'immortalité pour des mortels (se perpétue à l'infini)
+|> selon le corps = signifie juste enfanter, car la lignée demeure
+|> selon l'âme = bonne production (action, œuvre...)
+-> cherche la possession perpétuelle des choses bonnes
+
+L'amour a donc comme objectif d'atteindre l'immortalité par génération
+|> cherche à mimer l'une des caractéristiques du Bien (l'éternité)
+|> les humains passent souvent à côté -> est une révélation pour Socrate
+
+Première étape de cette compréhension est l'existence d'un beau corps
+
+Deuxième étape est la beauté qui existe dans d'autres corps
+|> passe de la singularité à la pluralité -> permet de comprendre que la beauté n'est pas unique
+-> amour arrête d'être exclusif et s'étend lui aussi
+
+Troisième étape est la prise de conscience de la beauté des âmes
+|> plus précieuse que la beauté corporelle
+|> pousse à construire des beaux discours (est ce qui fait passer de la beauté du corps à l'âme)
+
+Donc, qu'est-ce qui rend une âme belle ?
+|> ce que la personne fait
+|> ses connaissances
+-> ce n'est donc pas l'âme de la personne, mais plutôt ce que l'âme fait
+|> une âme avec les mêmes connaissances et les mêmes actions est aussi belle
+=> pluralité de la beauté des âmes
+|> tout est uni
+
+Quand l'individu a pris connaissance de tout ça, alors l'individu est libéré
+|> le Beau apparaît quand on se demande pourquoi tout est beau
+
+Trois caractéristiques du Beau :
+1. est éternel
+2. n'est pas relatif à un point de vue (est donc absolu)
+3. ne se réduit pas à n'être qu'un corps, qu'une activité, qu'une connaissance... -> n'est pas réductif ou réductible
+
+Ainsi, le Beau est une Idée -> existe en lui-même par lui-même (ne dépend de rien)
+|> possède une forme d'unité indivisible
+
+Aucune chose ne possède leur propre beauté -> elles peuvent devenir s'enlaidir ou ne pas être universellement belle
+
+Dans tous les cas, l'éducation tourne l'âme du sensible vers l'intelligible
+|> cherche à trouver l'essence du sensible, mais ne le délaisse pas totalement
+\ No newline at end of file
diff --git a/semestre 2/histoire de la philo antique/td/2- Intermède.md b/semestre 2/histoire de la philo antique/td/2- Intermède.md
index ff1da7c..74be7f8 100644
--- a/semestre 2/histoire de la philo antique/td/2- Intermède.md
+++ b/semestre 2/histoire de la philo antique/td/2- Intermède.md
@@ -29,12 +29,86 @@ Jouer = se donner des règles qui ne reposent sur rien
 Sophiste est donc un imitateur
 |> donne l'illusion de l'être à ceux ne faisant pas usage de leur faculté rationnelle
 |> mots peuvent aussi illusionner -> sont aussi des images
+|> cherche souvent à illusionner les jeunes (car la jeunesse éloigne de la sagesse)
 
 *eidôlon* (image)
 |> est l'illusion
-|> *eikôn* (pas de définition donnée)
+|> *eikôn* est la production de copie
 
 Platon, _République_, X suit toute cette vision de la tromperie
 |> si quelqu'un possède tout et possédant tous les détails, alors il est naïf et s'est fait trompé par un imitateur
 
-Donc, ceux affirmant tout connaître se sont fait tromper par les sophistes
-\ No newline at end of file
+Donc, ceux affirmant tout connaître se sont fait tromper par les sophistes
+
+*amathia* = refus d'apprendre, est l'ignorance
+
+Pour éviter de se faire avoir par le sophiste, on a besoin de sortir de l'opinion
+|> opinion = faire du mimétisme (produire des images / imitations)
+|> ne possède aucun sérieux, est inutile
+|> est une action bariolée, peinte, bref elle est plurielle
+## Texte 4 - 235b8-236c10
+brachylogie / macrologie
+|> premier est le discours socratique
+|> deuxième est celui des sophistes, cherchent l'œuvre monumentale, celle qui est belle et qui procure du plaisir
+
+Division de la mimétique
+|> eikastique = production de copies / semblants (*eikôn*)
+|> phantastique = apparences, simulacres, illusions (*phantasma*)
+
+>On évitera de parler de monde intelligible chez Platon. *3 secondes après.* Le monde intelligible...
+
+```mermaid
+flowchart LR
+	A[Sensible] -- sensation --- B[Humain]
+	B -- corps --- A
+	B -- raisonnement --- C[Intelligible]
+	C -- logos --- B
+	C --> |Participation|A
+```
+(NB: participation part du logo normalement et lie intelligible et sensible)
+
+eikastique respecte les proportions et les couleurs -> part du modèle
+|> est géométrique
+|> le respect est super important, car permet le reste
+|-> *eoika* (ressemble)
+
+phantastique part du point de vue
+|> est esthétique (comme les œuvres de grandes tailles)
+|> voir la statut d'Athéna de Phidias
+|> est un sacrifice du vrai pour l'esthétique (modification de la nature pour satisfaire)
+|> prétend ressembler, mais n'est pas -> *phainomai* (paraître)
+|-> parait pour quelqu'un, n'est pas en soit 
+-> ne possède aucun rapport avec le modèle, car est le point de vue est relatif
+
+> [!info] Distinctions eikastique / phantastique et objet / sujet
+> Ces deux distinctions se ressemblent beaucoup, mais on ne peut pas l'utiliser pour Platon
+> |> ces termes ne sont pas dans les textes
+> |> présupposent tout un point de vue beaucoup plus récent qui créerait un anachronisme
+
+> [!NOTE] Usage de *eikon*, mimétisme et tragédie en Grèce antique
+> Tous ces concepts sont apparus avec le problème apparence / essence
+> |> n'existait pas avant
+> |> fin VIe, début Ve siècle avant J-C.
+> |> création par les Éléates
+> 
+> Est l'opposition idole / icone, n'était pas utile avant
+> |> Homère ne l'utilise pas dans ce sens
+
+Platon en condamnant l'illusion, il condamne aussi les artistes de son époque
+|> critique de la *skiagraphia* (technique permettant de rendre le volume des choses)
+
+> [!warning] Critique de l'image (*eidolon*) chez Platon
+> Platon ne critique jamais l'*eikon* (copie) !
+> Sa critique se concentre sur le simulacre, l'illusion (*phantasma*)
+
+La distinction entre l'*eikon* et le *phantasma* dépend de la relation entre l'image et son modèle
+
+Rapport entre l'*eikon* et l'original est le même que celui entre sensible et intelligible
+|> utilité du portrait (_Phédon_, 73e)
+|> drame du sophiste est le refus de la différence entre l'image et son modèle
+|> prisonnier de la caverne sont ceux qui refusent la distinction image/modèle (donc les sophistes sont les prisonniers de la caverne), cf _République_ pour « l'analogie de la caverne »
+
+L'*eikon* peut servir d'*eidos* (schéma) pour comprendre l'Idée derrière
+
+« Le médium de l'image est l'unique expression spécifiquement humaine que nous puissions donner au spirituel suprême »
+|> l'image s'ajoute à ce qui est nécessaire pour qu'on puisse comprendre de quoi on parle
+\ No newline at end of file
diff --git a/semestre 2/histoire de la philo antique/td/3- Deuxième section.md b/semestre 2/histoire de la philo antique/td/3- Deuxième section.md
new file mode 100644
index 0000000..e151a3f
--- /dev/null
+++ b/semestre 2/histoire de la philo antique/td/3- Deuxième section.md
@@ -0,0 +1,24 @@
+---
+tags:
+  - sorbonne
+  - philosophie
+  - histoire-philosophie-antique
+  - td
+semestre: 2
+---
+## Texte 5 - 236d9-237b3
+Commence sur une aporie
+|> philosophique car difficile
+
+Besoin de possibiliser l'apparence de la fausseté pour définir le sophiste
+
+Fausseté est dire des choses fausses ou pensées des choses fausses
+|> comment le rendre possible ?
+
+Besoin de construire une onthologie garantissant l'existence de l'illusion
+
+Rendre possible le faux semble aller contre deux choses :
+1. enseignement de Parménide (fragment 7 DK est cité)
+   si dire faux = dire ce qui n'est pas, alors on ne peut pas le dire car ce qui n'est pas de ne possède pas de référence (ici on parle bien du raisonnement, i.e. *logos*, pas du langage courant, *glossa*)
+2. le *logos* -> besoin de pouvoir conceptualiser le non-être
+=> besoin de critiquer la conception de Parménide du *logos*
+\ No newline at end of file
diff --git a/semestre 2/histoire de la philo antique/td/3- exemplier_sophiste_deuxième section.pdf b/semestre 2/histoire de la philo antique/td/3- exemplier_sophiste_deuxième section.pdf
new file mode 100644
index 0000000..42e156e
--- /dev/null
+++ b/semestre 2/histoire de la philo antique/td/3- exemplier_sophiste_deuxième section.pdf
diff --git a/semestre 2/informatique/tme/semaine10/Makefile b/semestre 2/informatique/tme/semaine10/Makefile
new file mode 100644
index 0000000..7d0fc2a
--- /dev/null
+++ b/semestre 2/informatique/tme/semaine10/Makefile
@@ -0,0 +1,4 @@
+build-run:
+	gcc -o app *.c *.h
+	./app
+	rm app
diff --git a/semestre 2/informatique/tme/semaine10/multi_ensembles.c b/semestre 2/informatique/tme/semaine10/multi_ensembles.c
new file mode 100644
index 0000000..d2a023e
--- /dev/null
+++ b/semestre 2/informatique/tme/semaine10/multi_ensembles.c
@@ -0,0 +1,272 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include "multi_ensembles.h"
+
+  
+/* Retourne un pointeur sur le premier element de valeur val, retourne NULL si aucun �l�ment n'a la valeur val */
+element_t * Recherche_val(element_t *ensemble, int val) {
+	while (ensemble){
+		if (ensemble->valeur == val) return ensemble;
+		ensemble = ensemble->suivant;
+	}
+	return NULL;
+}
+
+/* Ajoute l'element val en tete de l'ensemble s'il n'apparait pas dans l'ensemble, augmente sa frequence de 1 sinon */
+element_t * Ajout_tete_ensemble(element_t *ensemble, int val, int freq) {
+	element_t *f = Recherche_val(ensemble, val);
+	if (f) {
+		f->frequence += freq;
+		return ensemble;
+	}
+	element_t *el = malloc(sizeof(element_t));
+	el->suivant = ensemble;
+	el->frequence = freq;
+	el->valeur = val;
+	return el;
+}
+
+
+/* Affche tous les elements d'un ensemble avec leur frequence */
+void Affiche_ensemble(element_t *ensemble) {
+	element_t *ptr = ensemble;
+
+	while (ptr != NULL) {
+		printf("val : %d, frequence : %d\n",ptr->valeur,ptr->frequence);
+		ptr=ptr->suivant;
+	}
+}
+
+/* Saisie des n elements d'un ensemble */
+element_t * Creation_ensemble(int n) {
+	element_t *ensemble=NULL;
+
+	int i = 0;
+	int val;
+	
+	for (i=0; i < n; i++) {
+		printf("Saisie d'un entier: ");
+		scanf("%d",&val);
+		ensemble=Ajout_tete_ensemble(ensemble,val,1);
+	}
+	return ensemble;
+}
+
+element_t *Supprime_total_element_ensemble(element_t *ensemble, int val){
+	element_t *head = ensemble;
+	element_t *before = NULL;
+	while (ensemble){
+		element_t *toDelete = NULL;
+		if (ensemble->valeur == val){
+			if (before) before->suivant = ensemble->suivant;
+			else head = ensemble->suivant;
+			toDelete = ensemble;
+		} else before = ensemble;
+		ensemble = ensemble->suivant;
+		if (toDelete) free(toDelete);
+	}
+	return head;
+}
+
+element_t *Supprime_element_ensemble(element_t *ensemble, int val){
+	element_t *head = ensemble;
+	element_t *before = NULL;
+	while (ensemble){
+		element_t *toDelete = NULL;
+		if (ensemble->valeur == val){
+			ensemble->frequence--;
+			if (ensemble->frequence < 1){
+				if (before) before->suivant = ensemble->suivant;
+				else head = ensemble->suivant;
+				toDelete = ensemble;	
+			}
+		} else before = ensemble;
+		ensemble = ensemble->suivant;
+		if (toDelete) free(toDelete);
+	}
+	return head;
+}
+
+element_t *Ajout_ensemble_trie(element_t *ensemble, int val, int freq){
+	if (!ensemble || ensemble->valeur > val) {
+		element_t *el = malloc(sizeof(element_t));
+		el->suivant = ensemble;
+		el->frequence = freq;
+		el->valeur = val;
+		return el;	
+	}
+	element_t *head = ensemble;
+	while (ensemble && ensemble->valeur <= val){
+		if (ensemble->valeur == val) ensemble->frequence += freq;
+		else if (!ensemble->suivant || ensemble->suivant->valeur > val){
+			element_t *new = malloc(sizeof(element_t));
+			new->valeur = val;
+			new->frequence = freq;
+			new->suivant = ensemble->suivant;
+			ensemble->suivant = new;
+			ensemble = new; // emp�che de passer deux fois sur la m�me valeur
+		}
+		ensemble = ensemble->suivant;
+	}
+	return head;
+}
+
+int Inclus(element_t *sub, element_t *ens){
+	while (ens && sub && ens->valeur <= sub->valeur){
+		if (sub->valeur == ens->valeur){
+			if (sub->frequence > ens->frequence) return 0;
+			else sub = sub->suivant;
+		}
+		ens = ens->suivant;
+	}
+	return sub == NULL;
+}
+
+int Inclus_rec(element_t *sub, element_t *ens){
+	if (!sub) return 1;
+	if (!ens) return 0;
+	if (sub->valeur == ens->valeur){
+		if (sub->frequence > ens->frequence) return 0;
+		sub = sub->suivant;
+	}
+	return Inclus_rec(sub, ens->suivant);
+}
+
+int Intersection_vide(element_t *e1, element_t *e2){
+	while (e1 && e2){
+		if (e1->valeur == e2->valeur) return 0;
+		if (e1->valeur < e2->valeur) e1 = e1->suivant;
+		else e2 = e2->suivant;
+	}
+	return 1;
+}
+
+
+int taille(element_t *ensemble){
+	if (ensemble == NULL) return 0;
+	return ensemble->frequence + taille(ensemble->suivant);
+}
+
+element_t *Supprime_frequence_inf_seuil(element_t *ensemble, int s){
+	while (ensemble && ensemble->frequence < s) ensemble = ensemble->suivant;
+	if (!ensemble) return ensemble;
+	element_t * head = ensemble;
+	element_t * prec = head;
+	ensemble = ensemble->suivant;
+	while (ensemble){
+		if (ensemble->frequence < s){
+			prec->suivant = ensemble->suivant;
+			free(ensemble);
+			ensemble = prec;
+		}
+		prec = ensemble;
+		ensemble = ensemble->suivant;
+	}
+	return head;
+}
+
+element_t *Union(element_t *e1, element_t *e2){
+	element_t* ens = NULL;
+	while (e1 && e2){
+		if (e1->valeur < e2->valeur) {
+			ens = Ajout_tete_ensemble(ens, e1->valeur, e1->frequence);
+			e1 = e1->suivant;
+		} else if (e1->valeur > e2->valeur) {
+			ens = Ajout_tete_ensemble(ens, e2->valeur, e2->frequence);
+			e2 = e2->suivant;
+		} else {
+			ens = Ajout_tete_ensemble(ens, e1->valeur, e1->frequence + e2->frequence);
+			e1 = e1->suivant;
+			e2 = e2->suivant;
+		}
+	}
+	if (e1){
+		while (e1){
+			ens = Ajout_tete_ensemble(ens, e1->valeur, e1->frequence);
+			e1 = e1->suivant;	
+		}
+	} else if (e2) {
+		while (e2){
+			ens = Ajout_tete_ensemble(ens, e2->valeur, e2->frequence);
+			e2 = e2->suivant;	
+		}
+	}
+	return ens;
+}
+
+
+element_t *Ajout_suivant(element_t *ens, int val, int freq){
+	element_t * e = malloc(sizeof(element_t));
+	e->valeur = val;
+	e->frequence = freq;
+	e->suivant = NULL;
+	ens->suivant = e;
+	return e;
+}
+
+element_t *Union_triee(element_t *e1, element_t *e2){
+	element_t* ens = malloc(sizeof(element_t));
+	ens->suivant = NULL;
+	ens->frequence = 0;
+	ens->valeur = 0;
+	element_t * queue = ens;
+	while (e1 && e2){
+		int freq = 0;
+		int val = 0;
+		if (e1->valeur == e2->valeur){
+			freq = e1->frequence + e2->frequence;
+			val = e1->valeur;
+			e1 = e1->suivant;
+			e2 = e2->suivant;
+		} else {
+			element_t **min = e1->valeur < e2->valeur ? &e1 : &e2;
+			freq = (*min)->frequence;
+			val = (*min)->valeur;
+			*min = (*min)->suivant;
+		}
+		if (ens->frequence == 0){
+			ens->frequence = freq;
+			ens->valeur = val;
+		} else queue = Ajout_suivant(queue, val, freq);
+	}
+	if (!e1 && !e2) return ens;
+	element_t *e = e1 ? e1 : e2;
+	for (int i = 0; e; e = e->suivant)
+		queue = Ajout_suivant(queue, e->valeur, e->frequence);
+	return ens;
+}
+
+element_t *Union_triee_rec(element_t *e1, element_t *e2){
+	if (!e1 && e2) return NULL;
+	element_t* ens = malloc(sizeof(element_t));
+	ens->suivant = NULL;
+	ens->valeur = 0;
+	ens->frequence = 0;
+	if (!e1 || !e2) {
+		element_t *e = e1 ? e1 : e2;
+		element_t *queue = ens;
+		for (int i = 0; e; e = e->suivant){
+			if (ens->frequence == 0){
+				ens->valeur = e->valeur;
+				ens->frequence = e->frequence;
+			} else queue = Ajout_suivant(queue, e->valeur, e->frequence);	
+		}
+		return ens;
+	}
+	int freq = 0;
+	int val = 0;
+	if (e1->valeur == e2->valeur){
+		freq = e1->frequence + e2->frequence;
+		val = e1->valeur;
+		e1 = e1->suivant;
+		e2 = e2->suivant;
+	} else {
+		element_t **min = e1->valeur < e2->valeur ? &e1 : &e2;
+		freq = (*min)->frequence;
+		val = (*min)->valeur;
+		*min = (*min)->suivant;
+	}
+	ens = Ajout_tete_ensemble(ens, val, freq);
+	ens->suivant = Union_triee_rec(e1, e2);
+	return ens;
+}
diff --git a/semestre 2/informatique/tme/semaine10/multi_ensembles.h b/semestre 2/informatique/tme/semaine10/multi_ensembles.h
new file mode 100644
index 0000000..30cff8c
--- /dev/null
+++ b/semestre 2/informatique/tme/semaine10/multi_ensembles.h
@@ -0,0 +1,23 @@
+typedef struct _element_t element_t;
+struct _element_t{
+  int valeur;
+  int frequence;
+  element_t *suivant;
+};
+
+element_t *Recherche_val(element_t *ensemble, int val);
+element_t *Ajout_tete_ensemble(element_t *ensemble, int val, int freq);
+element_t *Ajout_ensemble_trie(element_t *ensemble, int val, int freq);
+element_t *Supprime_total_element_ensemble(element_t *ensemble, int val);
+element_t *Supprime_element_ensemble(element_t *ensemble, int val);
+element_t *Supprime_frequence_inf_seuil(element_t *ensemble, int s);
+element_t *Union(element_t *e1, element_t *e2);
+element_t *Ajout_suivant(element_t *ens, int val, int freq);
+element_t *Union_triee(element_t *e1, element_t *e2);
+element_t *Union_triee_rec(element_t *e1, element_t *e2);
+int taille(element_t *ensemble);
+void Affiche_ensemble(element_t *ensemble);
+element_t * Creation_ensemble(int n);
+int Inclus(element_t* sub, element_t *ens);
+int Inclus_rec(element_t* sub, element_t *ens);
+int Intersection_vide(element_t *e1, element_t *e2);
diff --git a/semestre 2/informatique/tme/semaine10/multi_ensembles_2.c b/semestre 2/informatique/tme/semaine10/multi_ensembles_2.c
new file mode 100644
index 0000000..503917b
--- /dev/null
+++ b/semestre 2/informatique/tme/semaine10/multi_ensembles_2.c
@@ -0,0 +1,19 @@
+#include <stdlib.h>
+#include "multi_ensembles.h"
+
+element_t* ajout_suivant(element_t* element, int val, int freq) {
+	element_t* e = malloc(sizeof(element_t));
+	e->frequence = freq;
+	e->valeur = val;
+	e->suivant = NULL;
+	if (!element) return e;
+	if (val != 5 && freq != 6) {
+		e->suivant = element->suivant;
+		element->suivant = e;
+		return element;
+	}
+	element_t* head = element;
+	while (element->suivant != NULL) element = element->suivant;
+	element->suivant = e;
+	return head;
+}
diff --git a/semestre 2/informatique/tme/semaine10/test_multi_ensembles.c b/semestre 2/informatique/tme/semaine10/test_multi_ensembles.c
new file mode 100644
index 0000000..1534c2c
--- /dev/null
+++ b/semestre 2/informatique/tme/semaine10/test_multi_ensembles.c
@@ -0,0 +1,27 @@
+#include <stdio.h>
+#include "multi_ensembles.h"
+
+element_t *CreationMultiEnsemble(int deb, int n, int freq){
+  element_t *liste=NULL;
+  int i;
+  
+  for (i=deb+n-1; i >=deb; i--) {
+    liste=Ajout_tete_ensemble(liste,i,freq);
+  }
+  return liste;
+}
+
+int main() {
+	element_t *ensemble1= CreationMultiEnsemble(1,20,1);
+	element_t *ensemble2= CreationMultiEnsemble(5,10,2);
+	Affiche_ensemble(ensemble1);
+	printf("====\n");
+	Affiche_ensemble(ensemble2);
+	printf("====\n");
+	Affiche_ensemble(Union(ensemble1, ensemble2));
+	printf("====\n");
+	Affiche_ensemble(Union_triee(ensemble1, ensemble2));
+	printf("====\n");
+	Affiche_ensemble(Union_triee_rec(ensemble1, ensemble2));
+	return 0;
+}
diff --git a/semestre 2/informatique/tme/semaine9/Makefile b/semestre 2/informatique/tme/semaine9/Makefile
index e961ede..7d0fc2a 100644
--- a/semestre 2/informatique/tme/semaine9/Makefile
+++ b/semestre 2/informatique/tme/semaine9/Makefile
@@ -1,4 +1,4 @@
 build-run:
-	gcc -o app multi_ensembles.c multi_ensembles.h test_multi_ensembles.c
+	gcc -o app *.c *.h
 	./app
 	rm app
diff --git a/semestre 2/maths/.gitignore b/semestre 2/maths/.gitignore
index ac8aa1f..c0200d3 100644
--- a/semestre 2/maths/.gitignore
+++ b/semestre 2/maths/.gitignore
@@ -6,3 +6,4 @@ poly.pdf
 *.gz
 *.toc
 *.fls
+td6*
diff --git a/semestre 2/maths/3- espaces vectoriels/cours.out b/semestre 2/maths/3- espaces vectoriels/cours.out
deleted file mode 100644
index faa5447..0000000
--- a/semestre 2/maths/3- espaces vectoriels/cours.out
+++ /dev/null
@@ -1,6 +0,0 @@
-\BOOKMARK [1][-]{section.1}{\376\377\000D\000\351\000f\000i\000n\000i\000t\000i\000o\000n}{}% 1
-\BOOKMARK [1][-]{section.2}{\376\377\000S\000o\000u\000s\000\040\000e\000s\000p\000a\000c\000e\000\040\000v\000e\000c\000t\000o\000r\000i\000e\000l}{}% 2
-\BOOKMARK [1][-]{section.3}{\376\377\000D\000\351\000t\000e\000r\000m\000i\000n\000e\000r\000\040\000u\000n\000e\000\040\000b\000a\000s\000e\000\040\000d\000u\000\040\000n\000o\000y\000a\000u}{}% 3
-\BOOKMARK [1][-]{section.4}{\376\377\000D\000i\000a\000g\000o\000n\000a\000l\000i\000s\000a\000t\000i\000o\000n}{}% 4
-\BOOKMARK [2][-]{subsection.4.1}{\376\377\000C\000h\000a\000n\000g\000e\000m\000e\000n\000t\000\040\000d\000e\000\040\000b\000a\000s\000e}{section.4}% 5
-\BOOKMARK [2][-]{subsection.4.2}{\376\377\000D\000i\000a\000g\000o\000n\000a\000l\000i\000s\000a\000t\000i\000o\000n}{section.4}% 6
diff --git a/semestre 2/maths/4- combinatoire/résumé.png b/semestre 2/maths/4- combinatoire/résumé.png
new file mode 100644
index 0000000..2ad2415
--- /dev/null
+++ b/semestre 2/maths/4- combinatoire/résumé.png
diff --git a/semestre 2/maths/6- Variables aléatoires/cours.pdf b/semestre 2/maths/6- Variables aléatoires/cours.pdf
index 0bbe2f2..7ec1d6b 100644
--- a/semestre 2/maths/6- Variables aléatoires/cours.pdf
+++ b/semestre 2/maths/6- Variables aléatoires/cours.pdf
diff --git a/semestre 2/maths/6- Variables aléatoires/cours.tex b/semestre 2/maths/6- Variables aléatoires/cours.tex
index 991359d..82e2cbc 100644
--- a/semestre 2/maths/6- Variables aléatoires/cours.tex
+++ b/semestre 2/maths/6- Variables aléatoires/cours.tex
@@ -169,7 +169,7 @@ headpunct=,%
 	Ça donne beaucoup de possibilités, on va donc introduire la notion de variables aléatoires pour résoudre ce problème.
 
 	\subsection{Définitions}
-	\begin{defn}
+	\begin{defn}[Ensemble dénombrable]
 		Soit $D$ un ensemble.
 
 		On dit que $D$ est dénombrable si et seulement si~:
@@ -179,10 +179,10 @@ headpunct=,%
 		\end{itemize}
 	\end{defn}
 
-	\begin{defn}
+	\begin{defn}[Variable aléatoire discrète]
 		Soit $(\Omega,\mathbb{P})$ un ensemble probabilisé et $D$ un ensemble dénombrable.
 
-		Alors, $X$ défini tel que~:
+		Alors, $X$ est défini tel que~:
 		$$ X:\Omega \to D $$
 	\end{defn}
 	$X$ est donc une fonction.
@@ -270,18 +270,18 @@ headpunct=,%
 		par définition de $\exp\{\lambda\}$.
 	\end{proof}
 	
-	\subsection{Espérence et variance}
-	\begin{defn}
-		On définit l'espérence de $X$ par~:
-		$$ E(X) = \sum_{k\in D} kp_k $$
+	\subsection{Espérance et variance}
+	\begin{defn}[Espérance]
+		On définit l'espérance de $X$ par~:
+		$$ \mathrm{E}(X) = \sum_{k\in D} kp_k $$
 	\end{defn}
 	Permet de calculer ce qu'on peut espérer de $X$.
 
-	\begin{defn}
+	\begin{defn}[Variance]
 		On définit la variance de $X$ par~:
 		$$ \sigma^2(X) = \mathrm{Var}(X) = \sum_{k\in D} (k-E(X))^2p_k $$
 	\end{defn}
-	Permet de mesurer à quel point on peut s'écarter de l'espérence.
+	Permet de mesurer à quel point on peut s'écarter de l'espérance.
 
 	\begin{props}
 		On a~:
@@ -290,29 +290,204 @@ headpunct=,%
 
 	\begin{thm}
 		Si $X$ suit la loi uniforme de paramètre $n$ avec $D=[1,n]$, alors~:
-		$$ E(X) = \frac{n+1}{2} $$
+		$$ \mathrm{E}(X) = \frac{n+1}{2} $$
 		et
 		$$ \mathrm{Var}(X) = \frac{n^2-1}{12} $$
 	\end{thm}
 
 	\begin{thm}
 		Si $X$ suit la loi de Bernoulli de paramètre $p$, alors~:
-		$$ E(X) = p $$
+		$$ \mathrm{E}(X) = p $$
 		et
 		$$ \mathrm{Var}(X) = p(1-p) $$
 	\end{thm}
 
 	\begin{thm}
 		Si $X$ suit la loi binomiale de paramètre $n$ et $p$, alors~:
-		$$ E(X) = np $$
+		$$ \mathrm{E}(X) = np $$
 		et
 		$$ \mathrm{Var}(X) = np(1-p) $$
 	\end{thm}
 
 	\begin{thm}
 		Si $X$ suit la loi de Poisson de paramètre $\lambda$, alors~:
-		$$ E(X) = \lambda $$
+		$$ \mathrm{E}(X) = \lambda $$
 		et
 		$$ \mathrm{Var}(X) = \lambda $$
 	\end{thm}
+	\section{Variables aléatoires à densité}
+	Soit $(\Omega,\mathbb{P})$ un espace probabilisé.
+
+	On s'est vite restreint aux probabilités $\mathbb{P}(X^{-1}(A))$, où $A\in\mathcal{P}(D)$ avec $D$ un un ensemble dénombrable et $X$ est de $D$ dans $\Omega$, que l'on a noté $\mathbb{P}(X\in A)$.
+
+	Si $D$ est dénombrable, on a que~:
+	$$ \sum_{k\in D} p_k = 1 $$
+	où $p_k$ est $\mathbb{P}(X=k)$.
+	Si $D$ n'était pas dénombrable, le symbole somme n'aurait aucun sens~!
+	\subsection{Définitions}
+	\begin{defn}[Variable aléatoire à densité]
+		Une variable aléatoire est une fonction de $\Omega$ dans $E$, un ensemble pas forcément dénombrable.
+
+		Ainsi, $\mathbb{P}(X\in A)$, on a que $A$ est bien souvent une partie de $\mathbb{R}$.
+		On peut donc s'intéresser aux intervalles du style $[a,b]$ où $(a,b)\in E^2$.
+
+		Cette variable est à densité s'il existe une fonction $f$ croissante telle que~:
+		$$ \mathbb{P}(X\in[a,b]) = \int^b_a f(t)\mathrm{d}t $$
+		On appelle $f$ la densité de probabilité.
+	\end{defn}
+
+	\begin{defn}[Fonction de densité]
+		On appelle $F$ la fonction de densité de $X$ définie telle que~:
+		$$ \forall t\in E,\quad F(t)=\int^{t}_{-\infty} f(s)\mathrm{d}s $$
+		où $f$ est la fonction associée à $X$.
+	\end{defn}
+
+	\begin{props}
+		On a donc que~:
+		$$ \mathbb{P}(X\in[a,b]) = \mathbb{P}(a\leqslant X\leqslant b) = \mathbb{P}(X\leqslant b) - \mathbb{P}(X\geqslant a) $$
+	\end{props}
+
+	\begin{props}[Propriétés de la fonction de densité]
+		Les propriétés de $F$ sont~:
+		\begin{itemize}
+			\item  sa croissance
+			\item $0\leqslant F\leqslant 1$
+			\item $\displaystyle\int^{+\infty}_{-\infty}f(t)\mathrm{d}t = 1$, i.e. $\displaystyle\lim_{t \to \infty} F(t) = 1$
+		\end{itemize}
+	\end{props}
+	\begin{proof}
+		\AQT
+	\end{proof}
+	Ces propriétés sont celles analogues pour les variables aléatoires à~:
+	$$ \sum_{k\in D} p_k = 1 $$
+	des variables aléatoires discrètes.
+
+	\subsection{Lois usuelles}
+	\begin{defn}
+		On dit que $X$ suit la loi uniforme de paramètre $[a,b]$ si~:
+		$$ f(x) =
+		\left\{\begin{matrix}
+				\frac{1}{b-a}&\text{si}~x\in[a,b]\\
+				0 &\text{sinon}
+		\end{matrix}\right. $$
+		On note~:
+		$$ X\sim\mathcal{U} ([a,b]) $$
+	\end{defn}
+	La fonction de répartition dans ce cas est (si $x\in[a,b]$)~:
+	$$ \int_a^x \frac{1}{b-a}\mathrm{d}t = \frac{x-a}{b-a} $$
+
+	\begin{defn}
+		On dit que $X$ suit la loi exponentielle de paramètre $\lambda > 0$ si~:
+		$$ f(x) = \left\{\begin{matrix} \lambda \exp\left( -\lambda x \right) &\text{si}~x\geqslant 0\\ 0 &\text{sinon} \end{matrix}\right. $$
+		On note~:
+		$$ X\sim\mathcal{E}(\lambda) $$
+	\end{defn}
+	La fonction de répartition dans ce cas est~:
+	$$ \int_0^x \lambda\exp\left\{ -\lambda t \right\} \mathrm{d}t = 1-\exp\left\{ -\lambda x \right\}  $$
+
+	\begin{defn}
+		On dit que $X$ suit la loi normale de paramètres $\mu$, son espérence, et $\sigma$, son écart type, si pour tout $x$ on a ~:
+		$$ f(x) = \frac{1}{\sigma\sqrt{2\pi}}\exp\left\{ -\frac{1}{2}\left( \frac{x-\mu}{\sigma} \right)^2 \right\}  $$
+		où $f$ désigne la densité de probabilité de $X$.
+
+		On note souvent~:
+		$$ X\sim\mathcal{N}(\mu,\sigma^2) $$
+		où $\sigma^2$ représente la variance
+	\end{defn}
+	Attention, $\sigma$ est toujours strictement supérieur à 0~!
+
+	La fonction de répartition de $\mathcal{N}(0,1)$ est~:
+	$$ \frac{1}{\sqrt{2\pi}}\int^x_{-\infty} \exp\left\{ -\frac{1}{2}t^2 \right\} \mathrm{d}t $$
+	\subsection{Espérance et variance}
+	\begin{defn}[Espérance]
+		Si $X$ est une variable aléatoire à densité $f$, alors~:
+		$$ \mathrm{E}(X) = \int^{+\infty}_{-\infty} tf(t)\mathrm{d}t $$
+	\end{defn}
+
+	\begin{defn}[Variance]
+		Si $X$ est une variable aléatoire à densité $f$, alors~:
+		$$ \mathrm{Var}(x) = E(X^2)-E(X)^2 $$
+		ce qui vaut
+		$$ \int^{+\infty}_{-\infty}(t-E(X))^2f(t)\mathrm{d}t $$
+	\end{defn}
+
+	\begin{thm}
+		Si $X$ suit la loi uniforme de paramètre $[a,b]$, alors~:
+		$$ \mathrm{E}(X) = \frac{b+a}{2} $$
+		et
+		$$ \mathrm{Var}(X) = \frac{(b-a)^2}{12} $$
+	\end{thm}
+	\begin{proof}
+		\AQT
+	\end{proof}
+
+	\begin{thm}
+		Si $X$ suit la loi exponentielle de paramètre $\lambda > 0$, alors :
+		$$ E(X) = \frac{1}{\lambda} $$
+		et
+		$$ \mathrm{Var}(X) = \frac{1}{\lambda^2} $$
+	\end{thm}
+
+	\begin{thm}
+		Si $X$ suit la loi normale de paramètre $m,\sigma^2$, alors :
+		$$ E(X) = m $$
+		et
+		$$ \mathrm{Var}(X) = \sigma^2 $$
+	\end{thm}
+
+	\subsection{Indépendance et suites de variables}
+	\begin{thm}[Inégalité de Markov]
+		Si $X$ est une variable aléatoire réelle \textit{positive} telle que $E(X)$ est bien définie, on a~:
+		$$ \forall r>0,\quad \mathbb{P}(X\geqslant r)\leqslant \frac{E(X)}{r} $$
+	\end{thm}
+	Cette preuve est importante niveau notation~!
+
+	\begin{proof}
+		Notons $g$ la fonction définie par $g(x) = r$ si $x \geqslant r$ et $g(x) = 0$ sinon. $g$ est une variable aléatoire discrète. Alors~:
+		\begin{itemize}
+			\item $\{g(x)=r\} = \left\{ X\geqslant r \right\} $
+			\item $\left\{ g(x) = 0 \right\} = \left\{ X < r \right\}$
+		\end{itemize}
+		On a aussi que $g(x) \leqslant x$ pour tout $x$ positif, ce qui nous donne~:
+		$$ E(X) \geqslant E(g(x)) = 0\times\mathbb{P}(X < r) + r\mathbb{P}(X \geqslant r) $$
+		par croissance de l'espérance. Ainsi,
+		$$ \mathbb{P}(X\geqslant r) \leqslant \frac{1}{r}E(X) $$
+	\end{proof}
+
+	\begin{props}[Inégalité de Bienaymé-Tchebychev]
+		Si $X$ est une variable aléatoire réelle telle que $E(X)$ et $\mathrm{Var}(X)$ sont bien définies, alors~:
+		$$ \forall r>0,\quad \mathbb{P}(|X-E(X)| \geqslant r)\leqslant \frac{\mathrm{Var}(X)}{r^2} $$
+	\end{props}
+	\begin{proof}
+		Cette formule découle de l'inégalité de Markov~: il s'agit du changement de variable $Z=(X-E(X))^2$ qui donne $(X-E(X))^2 \geqslant r^2$, d'où le résultat.
+	\end{proof}
+
+	\begin{defn}
+		On dit que deux variables $X$ et $Y$ sont indépendantes si pour toutes fonctions $f$ et $g$ on a~:
+		$$ E(f(X)g(Y)) = E(f(X))E(g(Y)) $$
+		sous réserve d'espérence bien définie.
+	\end{defn}
+
+	\begin{thm}
+		Si $X$ et $Y$ sont deux variables réelles indépendantes, on a~:
+		$$ \mathrm{Var}(X+Y) = \mathrm{Var}(X)+\mathrm{Var}(Y) $$
+	\end{thm}
+	La bonne définition des variances est assurées dans ce cas~!
+
+	\begin{thm}[Loi faible des grands nombres]
+		Soit $(X_k)_{k\in\mathbb{N}}$ une suite de variables aléatoires réelles telle que~:
+		$$ \forall k\in \mathbb{N},\quad E(X_k) = E(X_0)\quad\land\quad\mathrm{Var}(X_k) = \mathrm{Var}(X_0) $$
+		et que toutes les variables sont indépendantes deux à deux. Alors~:
+		$$ \forall \varepsilon > 0,\quad \mathbb{P}\left( \left| \frac{1}{n}\sum_{i=1}^{n} X_i-E(X_0) \right| \geqslant \varepsilon \right) \xrightarrow[n \to \infty]{} 0 $$
+	\end{thm}
+	On l'appelle aussi LGN.
+
+	\begin{thm}[Théorème central limite]
+		On prend une suite respectant les mêmes conditions que celles de la LGN. Pour tout réels $a<b$, on a~:
+		$$ \mathbb{P}\left(\frac{\sqrt n}{\sqrt{\mathrm{Var}(X_0)}} \left(\frac{1}{n}\sum_{i=1}^{n} X_i-E(X_0) \right) \in [a,b] \right) \xrightarrow[n \to \infty]{} \frac{1}{\sqrt{2 \pi}}\int^b_a \exp\left\{ -\frac{x^2}{2} \right\} \mathrm{d}x $$
+	\end{thm}
+	C'est le théorème qui est central, pas la limite. Donc, \textbf{pas de e à central}~!
+
+	On a donc que pour un grand nombre de variables, leur somme est équivalente à une variable aléatoire $Y\sim\mathcal{N}(0,1)$ (dite gaussienne centrée réduite).
+	En effet, la somme pour un $n$ assez grand est similaire à la fonction de répartition de la loi normale.
 \end{document}
diff --git a/semestre 2/maths/6- Variables aléatoires/résumé formules à densité.png b/semestre 2/maths/6- Variables aléatoires/résumé formules à densité.png
new file mode 100644
index 0000000..14fb1e9
--- /dev/null
+++ b/semestre 2/maths/6- Variables aléatoires/résumé formules à densité.png
diff --git a/semestre 2/maths/6- Variables aléatoires/résumé loi binomiale.png b/semestre 2/maths/6- Variables aléatoires/résumé loi binomiale.png
new file mode 100644
index 0000000..cf340f1
--- /dev/null
+++ b/semestre 2/maths/6- Variables aléatoires/résumé loi binomiale.png
diff --git a/semestre 2/maths/6- Variables aléatoires/résumé loi de bernoulli.png b/semestre 2/maths/6- Variables aléatoires/résumé loi de bernoulli.png
new file mode 100644
index 0000000..7e2470b
--- /dev/null
+++ b/semestre 2/maths/6- Variables aléatoires/résumé loi de bernoulli.png
diff --git a/semestre 2/maths/6- Variables aléatoires/résumé loi de poisson.png b/semestre 2/maths/6- Variables aléatoires/résumé loi de poisson.png
new file mode 100644
index 0000000..a76acaa
--- /dev/null
+++ b/semestre 2/maths/6- Variables aléatoires/résumé loi de poisson.png
diff --git a/semestre 2/maths/6- Variables aléatoires/résumé loi exponentielle.png b/semestre 2/maths/6- Variables aléatoires/résumé loi exponentielle.png
new file mode 100644
index 0000000..c48f10c
--- /dev/null
+++ b/semestre 2/maths/6- Variables aléatoires/résumé loi exponentielle.png
diff --git a/semestre 2/maths/6- Variables aléatoires/résumé loi normale.png b/semestre 2/maths/6- Variables aléatoires/résumé loi normale.png
new file mode 100644
index 0000000..c66ecec
--- /dev/null
+++ b/semestre 2/maths/6- Variables aléatoires/résumé loi normale.png
diff --git a/semestre 2/maths/6- Variables aléatoires/résumé loi uniforme discrète.png b/semestre 2/maths/6- Variables aléatoires/résumé loi uniforme discrète.png
new file mode 100644
index 0000000..bd8673e
--- /dev/null
+++ b/semestre 2/maths/6- Variables aléatoires/résumé loi uniforme discrète.png
diff --git a/semestre 2/maths/6- Variables aléatoires/résumé loi uniforme à densité.png b/semestre 2/maths/6- Variables aléatoires/résumé loi uniforme à densité.png
new file mode 100644
index 0000000..f0b50e7
--- /dev/null
+++ b/semestre 2/maths/6- Variables aléatoires/résumé loi uniforme à densité.png
diff --git a/semestre 2/maths/6- Variables aléatoires/résumé notations discrètes.png b/semestre 2/maths/6- Variables aléatoires/résumé notations discrètes.png
new file mode 100644
index 0000000..2da67c6
--- /dev/null
+++ b/semestre 2/maths/6- Variables aléatoires/résumé notations discrètes.png
diff --git a/semestre 2/maths/6- Variables aléatoires/résumé notations à densité.png b/semestre 2/maths/6- Variables aléatoires/résumé notations à densité.png
new file mode 100644
index 0000000..a4397b7
--- /dev/null
+++ b/semestre 2/maths/6- Variables aléatoires/résumé notations à densité.png
diff --git a/semestre 2/maths/6- Variables aléatoires/td-correction.pdf b/semestre 2/maths/6- Variables aléatoires/td-correction.pdf
new file mode 100644
index 0000000..fdf5b71
--- /dev/null
+++ b/semestre 2/maths/6- Variables aléatoires/td-correction.pdf
diff --git a/semestre 2/maths/6- Variables aléatoires/td.pdf b/semestre 2/maths/6- Variables aléatoires/td.pdf
new file mode 100644
index 0000000..a94cc79
--- /dev/null
+++ b/semestre 2/maths/6- Variables aléatoires/td.pdf
diff --git a/semestre 2/philosophie des sciences/2- Les principales conceptions philosophiques de la validation empirique des théories scientifiques.md b/semestre 2/philosophie des sciences/2- Les principales conceptions philosophiques de la validation empirique des théories scientifiques.md
index c533b1f..d257ef0 100644
--- a/semestre 2/philosophie des sciences/2- Les principales conceptions philosophiques de la validation empirique des théories scientifiques.md
+++ b/semestre 2/philosophie des sciences/2- Les principales conceptions philosophiques de la validation empirique des théories scientifiques.md
@@ -9,7 +9,7 @@ semestre: 2
 ### 1. Présentation
 Les arguments inductifs sont défaisables (ils peuvent dire quelque chose de faux) et ampliatifs (ils augmentent les connaissances)
 
-La science se présent comme étant inductive
+La science se présente comme étant inductive
 |> s'appuie sur des expériences sensibles
 |> vise à créer des lois générales
 
@@ -31,7 +31,7 @@ Existe aussi les inférences fondées sur la vérité d'une prédiction
 > Donc $H$ est vraie
 ### 2. Le problème de Hume
 Hume, _Enquête sur l'entendement humain_, IV, 2
-|> deux objets de la raison : relations d'idées (vrai car contradiction est fausse) et choses de fait (vrai, mais contradiction peut être fausse) [^(1)]
+|> deux objets de la raison : relations d'idées (vrai car contradiction est fausse) et choses de fait (vrai, mais contradiction peut être vraie) [^(1)]
 |> choses de fait proviennent des inductions (mot qui n'existe pas à l'époque de Hume)
 
 [^(1)] est plus compliqué en réalité, voir la diapo (cours 2)
@@ -40,13 +40,13 @@ Le principe d'induction transforme les inductions en déduction
 |> sorte de « les objets en apparence semblables à ceux que j'ai observés s'accompagneront d'effets semblables »
 -> on ne peut pas trouver de contradiction avec une démonstration, donc il est vrai
 
-Pourtant, on utilise de l'induction pour démonter l'induction
+Pourtant, on utilise de l'induction pour démontrer l'induction
 |> erreur logique !
 -> pas de justification de l'induction
 
 Est une thèse sceptique radicale qui est contre intuitive et qui a été beaucoup discutée
 
-Home propose dans _Enquête de l'entendement humain_, V 
+Hume propose dans _Enquête de l'entendement humain_, V 
 |> l'observation de la régularité implique la création d'une disposition dans l'esprit humain
 |> cette tendance est automatique
 -> disposition naturelle, principe de la nature humaine
@@ -130,7 +130,7 @@ Rien ne permet de dire qu'une théorie est vraie, ça permet juste d'évoquer la
 |> on peut sauver des hypothèses si l'hypothèse supplémentaire permet de faire des autres prédictions (sinon, l'hypothèse ajoutée est *ad hoc*)
 |> aussi possible que l'expérience ne fonctionne pas, i.e. il y a des hypothèses supplémentaires
 -> le falsificationnisme ne dépend pas que des faits et de la logique déductive, donc induction !
-|> est le problème de Duhem ou l'holisme du falsificationnisme
+|> est le problème de Duhem (voir [[5- Limites du falsificationnisme]]) ou l'holisme du falsificationnisme
 |> un sauvetage est donc toujours possible
 
 **3. hypothèse probabiliste** = casse totalement le falsificationnisme
diff --git a/semestre 2/philosophie des sciences/3- Les constituants théoriques de l'empirisme.md b/semestre 2/philosophie des sciences/3- Les constituants théoriques de l'empirisme.md
index 652c752..5885351 100644
--- a/semestre 2/philosophie des sciences/3- Les constituants théoriques de l'empirisme.md
+++ b/semestre 2/philosophie des sciences/3- Les constituants théoriques de l'empirisme.md
@@ -78,5 +78,4 @@ Définition des termes théoriques par leurs effets
 
 Les idées proviennent de la créativité, l'inventivité, l'imagination...
 |> ne peut pas être mécanisé
-(Popper dit pareil)
-|> 
-\ No newline at end of file
+(Popper dit pareil)
+\ No newline at end of file
diff --git a/semestre 2/philosophie des sciences/4- Les défis en science.md b/semestre 2/philosophie des sciences/4- Les défis en science.md
new file mode 100644
index 0000000..90f6152
--- /dev/null
+++ b/semestre 2/philosophie des sciences/4- Les défis en science.md
@@ -0,0 +1,76 @@
+---
+tags:
+  - sorbonne
+  - philosophie
+  - philosophie-sciences
+semestre: 2
+---
+Principe de causalité = les mêmes causes ont toujours les mêmes effets
+## A. La place des valeurs
+Valeurs = qualités qui nous importent, que nous approuvons et recherchons
+|> toujours relatif : valeurs d’un groupe / société / individu
+|> définissent ce qui doit être
+
+Faits = éléments du monde qui peuvent être constatés empiriquement
+|> indépendants des individus
+|> constituent ce qui est
+
+Jugements de fait = expriment affirmations vraies ou fausses
+|> valeur de vérité dépend du monde
+
+Jugement de valeurs = expriment des appréciations morales et des normes de conduites
+
+L'existence de valeur semble s'opposer à l'empirisme
+
+Le choix des questions scientifiques ne sont pas que épistémique
+|> ces choix renferment des valeurs
+
+Le simple fait de faire des sciences provient de valeurs
+|> recherche scientifique est importante par exemple
+
+La découverte repose sur les individus dépendant de valeurs ([[7- Hypothèses]])
+
+L'application des sciences dépend de valeurs et non exclusivement des sciences
+|> sans valeur, il serait impossible de choisir quoi appliquer
+(Hempel, _Aspects of scientific explanation_)
+
+Pragmatisme = prendre une décision en fonction des conséquences de la réalisation du risque
+|> mais, pas possible de prévoir toutes les conséquences négatives elles-mêmes
+
+Valeurs épistémiques (celle de Kuhn évoqué dans [[2- Les principales conceptions philosophiques de la validation empirique des théories scientifiques]]) sont considérés comme des indicatrices de la vérité
+Et les valeurs contextuelles (morales par exemple) ?
+|> distinction entre valeurs épistémiques et contextuelles est complexe et peu fonder (Longino)
+|> possible de rester objectif en les critiquant collectivement
+## B. Russell et la fin de la causalité
+_On the notion of cause_, Bertrand Russell
+
+Principe de causalité est problématique (au mieux superflu)
+|-> « même causes » implique répétition, or est vague, imprécis et n'est pas exhaustif (vision étroite du phénomène)
+
+>une relique d'un âge révolu qui, comme la monarchie, ne survit que parce qu'on considère à tort qu'elle ne fait pas de mal
+
+Les lois des « sciences mûres » (la physique) ne sont pas causales
+|> elles ne dépendent ni du temps, ni de l'espace
+|> elles utilisent des propriétés qui ne sont pas directement accessibles à l'expérience
+
+On a besoin de la causalité pour agir sur la réalité
+
+Causalité a pour objectif d'expliquer les régularités qu'on observe
+
+**Modèle déductif-nomologique** (modèle de Hempel)
+L'explication est une relation entre ce qu'il faut expliquer (*explanandum*) et ce qui l'explique (*explanans*)
+|> contient des informations sur la situation
+|> contient des références à des lois scientifiques
+
+Expliquer un fait particulier c'est déduire une description de ce fait à partir des lois scientifiques et des conditions initiales
+|> relation est déductive (prémisses sont les lois et les conditions initiales)
+
+Prémisses ont besoin de contenir au moins une loi
+-> la loi n'est pas forcément causale
+
+Ce modèle montre surtout qu'on peut prédire l'*explanandum*
+
+L'analyse conceptuel est le domaine regardant les définitions que l'on donne aux concepts
+|> cherche des exemples/contre-exemples pour casser les modèles
+
+Dans le modèle déductif-nomologique, il n'y a pas de cause et de causé, donc on peut dire qu'une ombre provoque la hauteur de la tour
+\ No newline at end of file
diff --git a/semestre 2/philosophie des sciences/td/7- Hypothèses.md b/semestre 2/philosophie des sciences/td/7- Hypothèses.md
new file mode 100644
index 0000000..d22139a
--- /dev/null
+++ b/semestre 2/philosophie des sciences/td/7- Hypothèses.md
@@ -0,0 +1,61 @@
+---
+tags:
+  - sorbonne
+  - philosophie
+  - td
+  - philosophie-sciences
+semestre: 2
+---
+Helen Longino dans un autre texte du corpus analyse les sciences d'un point de vue féministe
+
+Nous ne nous sommes jamais intéressés à l'hypothèse dans le triptyque « hypothèse - expérience - théorie »
+|> qu'est-ce qu'une hypothèse ?
+
+Une hypothèse est une supposition à propos du réel
+|> précède toujours la théorie
+
+Mais d'où viennent les hypothèses ?
+|> viennent-elles des expériences ? (comme le voudrait un empiriste naïf)
+
+BD _Logicomix_ est une très bonne introduction pour la philo analytique
+|> quête du savoir de Russell
+## Carl Hempel, _Éléments d’épistémologie_, 2
+Hempel est un positiviste logique
+|> proche du Cercle de Vienne
+
+Connu pour _Éléments d'épistémologie_
+|> est un manuel expliquant le positivisme logique
+
+A construit le modèle déductif-nomologique (noté DN)
+|> souhaite expliquer un événement à l'aide de lois et d'une situation initiale
+#### A. Quelle origine pour les questions scientifiques ?
+Quête du savoir -> quête de la compréhension
+
+Compliqué car une explication ne peut se soulager cette quête
+|> peut reposer sur des fausses associations
+|> [[2- Le problème de l'induction]]
+|> une analogie donne une équivalence, pas une association !
+
+D'où le modèle déductif-nomologique pour s'assurer du fondement
+|> besoin de loi -> besoin de théories -> besoin d'hypothèses / expériences
+|> n'explique pas ce qui les motive ou les méthodes
+#### B. D'où viennent les hypothèses ?
+[[3- Voir et interpréter]] -> les hypothèses sont des *a priori* nécessaires à l'expérience
+|> permettent d'orienter et de comprendre les expériences
+
+Le texte de Hempel montre l'utilisation des hypothèses dans le choix des expériences
+|> l'hypothèse gagnante a été introduite suite à une erreur
+-> pas de recette méthodologique
+|> les spéculations reposent sur des croyances (sociales, religieuses...)
+|> peu prendre sa source dans l'observation, mais l'observation elle-même utilise des hypothèses (ou des théories faibles) -> hasard, idées innées...
+#### C. Quelle critique pour l'empirisme ?
+Toute connaissance ne rend pas sa source dans l'expérience
+|> elle n'en est pas dans sa source
+
+Pour rester empiriste, on a besoin d'accepter :
+1. il n'y a pas de méthode pour inventer des théories -> dépend de la créativité humaine, pas de méthode scientifique pour *trouver* des théories
+2. la philosophie des sciences ne doit pas analyser la découverte elle-même, mais doit se concentrer sur la justification des théories -> comment on justifie une thèse
+
+Il y a donc deux moments différents dans la découverte :
+1. découverte (invention de l'hypothèse)
+2. justification (tester si l'hypothèse est vraie ou fausse)
diff --git a/semestre 2/philosophie générale/1- Figures de la vérité.md b/semestre 2/philosophie générale/1- Figures de la vérité.md
index dd0a613..c823233 100644
--- a/semestre 2/philosophie générale/1- Figures de la vérité.md
+++ b/semestre 2/philosophie générale/1- Figures de la vérité.md
@@ -256,7 +256,7 @@ Méthode selon Pascal, _ouvrage (moodle)_
 |> l'esprit humain s'arrête au niveau des mots primitifs non définissables et des principes dont la clarté est suffisante ne demandant pas la clarté -> sont suffisants, mais n'assure pas complètement la vérité
 -> la géométrie s'en rapproche le plus : elle est aussi certaine, mais moins convaincante
 
-escape, temps, mouvement, égalité = exemples de mots primitifs pour la géométrie
+espace, temps, mouvement, égalité = exemples de mots primitifs pour la géométrie
 lumière, humain, être = exemples de mots primitifs
 -> ils désignent naturellement les choses qu'ils signifient
 |> personne n'est d'accord, mais tout le monde sait à quoi renvoie ces termes
diff --git a/semestre 2/philosophie générale/2- Les critères de vérités.md b/semestre 2/philosophie générale/2- Les critères de vérités.md
index 76cd1de..5607619 100644
--- a/semestre 2/philosophie générale/2- Les critères de vérités.md
+++ b/semestre 2/philosophie générale/2- Les critères de vérités.md
@@ -95,4 +95,82 @@ Thomas d'Aquin (on l'appelle aussi Aquinate), _Question disputée sur la vérit�
 |> l'intellect humain correspond à l'idée que Dieu en a
 -> l'intellect humain n'accomplie sa fonction que lorsque ses jugements sur les choses sont en accord avec les mêmes choses qui représentent l'idée de Dieu
 |> énoncé est vrai en tant qu'ils expriment la vérité de la chose elle-même (adéquation de la chose à l'intellect de Dieu)
-|> possibilité de la vérité se fonde sur le plan divin de la Création
-\ No newline at end of file
+|> possibilité de la vérité se fonde sur le plan divin de la Création
+## Logique kantienne
+Kant, _Logique_, « Introduction », VII -> manuel kantien de logique
+|> reprend les lieux communs de la philosophie dans un enseignement scolaire
+|> parle de la vérité avec une conception classique
+|> vérité est l'accord entre la connaissance et l'objet 
+|> connaissance doit se confirmer elle-même (nécessaire, mais pas suffisant) -> car nous n'avons pas accès à l'objet à cause du problème de l'extériorité (pas possible de sortir de nous)
+|> existe-t-il un critère de la vérité qui soit certain, universel et susceptible d'application
+-> autrement dit, qu'est-ce que la vérité ?
+|> besoin d'avoir la certitude pour connaître
+|> universel pour avoir l'accord de tous les esprits en tout temps et tout lieu
+|> susceptible d'application pour qu'il soit pratique
+
+Il n'y a pas de critères matériels à cause du problème de l'extériorité
+|> on ne peut pas comparer le jugement et l'objet en vu
+
+Conformité de la connaissance avec elle-même est l'accord entre la connaissance et les lois générales de la pensée (comme les règles de la logique)
+|> condition négative et non positive
+|> ne donne aucune information sur la vérité, nous assure juste que la connaissance respecte les règles
+
+Connaissance est logiquement correcte et formellement vraie
+|> pas de contradiction
+|> ne contredit pas les règles de la logique
+
+> [!info] Vocabulaire chez Kant
+> Expérience = fait d'éprouver des choses
+> 
+> Entendement = faculté qui connait (n'est pas la raison)
+> |> détermine des concepts à partir de l'expérience
+> |> transforme l'expérience en un concept général et intellectuel (unifie l'expérience sensorielle)
+
+On a besoin que l'entendement respecte des règles pour que les concepts renvoie à qlq chose
+
+Connexions universellement valables de données et le processus de l'enchaînement de telles données en une unité objective donnent ce que l'on sait
+|> tout ce que l'on sait forme un système de pensées 
+|> permet l'expérience
+
+Conditions de possibilités de l'expériences en générales sont en même temps conditions de possibilités des objets de l'expérience (_Critique de la raison pure_, ou AK, III, 145)
+|> dès qu'on objet existe, on peut en faire l'expérience et donc le connaître
+
+Si on peut l'intégrer dans un ensemble cohérent, alors c'est vrai
+
+Donc, la vérité ne dépend pas du sujet
+
+> [!warning] Sur ce critère
+> Ce critère est nécessaire mais pas suffisant pour Kant !
+
+Les critères formels ne cherchent que l'accord de la connaissance avec elle-même
+|> provient de l'entendement et de la raison
+-> sont le principe de non contradiction (PNC) et le principe de la raison suffisante (PRS)
+|> PNC détermine la possibilité logique d'une connaissance (est possible logiquement ce qui ne contredit pas) -> est nécessaire mais n'est pas suffisant
+|> PRS détermine la réalité logique d'une connaissance -> fondée logiquement :
+1. obéit à des principes logiques (strictement similaire au PNC)
+2. n'ait pas de conséquences fausses
+-> permet d'inscrire la proposition dans un système logique et d'assurer une cohérence logique
+
+À partir de la vérité de la conséquence de la connaissance, on peut établir la véracité de la connaissance :
+- si une conséquence est fausse, alors connaissance est fausse
+- si la connaissance est vraie, alors la conséquence doit être vraie
+-> ne permet pas de conclure l'inverse
+|> d'un principe faux, on peut arriver à des conséquences vraies accidentellement ou par hasard
+(est l'implication de l'algèbre de Boole)
+
+Si toutes les conséquences sont vraies, alors la connaissance est vraie
+|> est réversible, à l'inverse du faux -> c'est pour ça qu'on doit s'assurer de la cohérence
+
+Critère extérieur à la logique
+|> comparaison de nos jugements avec ceux d'autrui
+|> est encore un critère négatif -> accord de ses propres jugements n'impliquent pas la vérité et en cas de désaccord, il y a un indice montrant qu'au moins une personne se trompe
+-> permet d'éviter l'apparence subjective
+|> la recherche de l'accord des esprits permet de se hisser vers l'objectivité
+
+DONC, son critère est
+|> adéquation de la chose à la connaissance, mais la chose en tant qu'elle peut être connue en vertu des règles de la logique
+-> on ne connait la chose que ce qu'on peut connaître
+|> est appelée objet
+-> est toujours un critère négatif et formel
+|> Kant dit qu'il est possible qu'il n'existe pas de critère positif matériel
+|> mais il évite de tomber dans le scepticisme, car pour lui l'existence des sciences montre qu'on peut atteindre la vérité
+\ No newline at end of file
diff --git a/semestre 2/philosophie générale/3- L'essence de la vérité.md b/semestre 2/philosophie générale/3- L'essence de la vérité.md
new file mode 100644
index 0000000..75c949a
--- /dev/null
+++ b/semestre 2/philosophie générale/3- L'essence de la vérité.md
@@ -0,0 +1,119 @@
+---
+tags:
+  - sorbonne
+  - philosophie
+  - philosophie-générale
+semestre: 2
+---
+Dès qu'on essaye de définir la vérité, on présuppose l'idée d'une adéquation
+|> on présuppose que l'essence de la vérité consiste dans cet accord
+
+Heidegger, « De l'Essence de la vérité » montre bien l'accord (voir [[2- Les critères de vérités]])
+
+Pourquoi nous questionnons-nous sur l'essence de la vérité si on a des critères et qu'on connait l'accord ?
+|> ne prendrait-on pas le problème à l'envers ?
+|> et si on connaissait ce qu'était la vérité et qu'on a donc des connaissances vraies ?
+|> on connait la vérité, donc on est capable de trouver une méthode (les critères)
+
+**Biblio utile**
+Heidegger, « De l'Essence de la vérité »
+|> très compréhensible au début, puis plus du tout
+
+Heidegger, _Être et Temps_, notamment §44
+
+Heidegger, _Les problèmes fondamentaux de la phénoménologie_
+|> est un cours prononcé en 1927
+|> complément de _Être et Temps_
+
+Heidegger, _Être et Temps_, §44, « *Dasein*, ouverture et vérité »
+
+*Dasein* = mot plus traduit, est dans le vocabulaire philosophique international
+|> littéralement est « être-la » -> surnom de l'humain pour Heidegger
+|> signifie l'être pour qu'il y a de l'être -> le type d'être pour qui le mot être a du sens
+|> manière de se rapporter à l'humain selon une certaine détermination
+
+Heidegger constate que la philo dès son origine a associé vérité à l'être
+|> s'est déterminé comme une « science de la vérité » (Aristote, _Métaphysique_, $\alpha$)
+|> comme une science qui s'intéresse à l'être en tant qu'être -> s'intéresse à l'essence des choses
+-> besoin de s'interroger sur le mode d'être de la vérité et pour qui est-ce qu'il y a vérité ?
+|> permet de questionner la relation de la vérité avec ce qui est et de celle de l'humain avec la vérité
+
+L'humain, c'est celui qui est capable de comprendre la vérité
+|> il y a de la vérité pour l'humain
+
+Que représente entendre pour l'humain ?
+|> entendre dans le sens action de l'entendement
+
+Analyse de l'accord permet de répondre à tout pour Heidegger
+|> revient à élucider l'existence de la vérité pour l'humain
+
+Aristote aurait soutenu que les représentation de l'âme (les « vécus de l'âme ») sont des adéquations de l'âme (Aristote, _De l'Interprétation_, I)
+|> constate que les choses sont égales aux accords sur les choses
+|> vérité est ensuite dérivée de ce constat
+
+Qu'est-ce qui a dans l'accord présent dans la vérité ?
+
+Accord est un type de relation (qlq chose avec qlq chose)
+
+Par rapport à quoi l'esprit et la chose s'accorde-t-il ?
+|> n'est pas une égalité (pas la même identité)
+|> est le "tel que" -> quelle est sa nature et comment la vérité devient manifeste ?
+
+Le "tel que" est-il un accord de connaissance avec la chose lui-même ?
+|> cela dépend de ce qu'on appelle connaissance
+|> un énoncé est vrai s'il fait voir la chose dans son identité
+|> « il dévoile l'étant en lui-même. Il énonce, il exhibe, il fait voir l'étant en son être dévoilé. L'être vrai (vérité) de l'énoncé doit s'entendre comme être dévoilant »
+|> permet de découvrir qlq chose de la chose qui exprime
+-> explique ce que la définition classique implique
+
+Ce qui définit l'humain, c'est d'être ouvert au monde
+|> notre existence la fois une contingence et déterminé
+|> l'humain se découvre comme jeter dans le monde
+|> est aussi marqué par le projet -> on peut devenir celui qu'on veut devenir
+
+Le fait d'être au monde est se qui caractérise l'accord de la vérité
+|> comment pouvons-nous passer de l'un à l'autre ?
+|> quelle la place du phénomène de la vérité pour l'humain qui est au monde ?
+
+Dire la vérité est une manière d'être de l'humain
+|> définit ce qu'est l'être humain
+|> énoncé vrai est fondé sur l'être au monde, sur l'ouverture de l'humain au monde
+|> c'est grâce à cette ouverture qu'on peut exprimer le monde
+|> la vérité est le fait d'avoir accès aux choses en tant qu'être ouvert au monde
+|> l'humain est donc *dans* la vérité, mais peut aussi être en dehors
+|> le mode du « on » (Man en allemand) est la non-vérité -> est général, non-assumé
+|> le mode du « on » arrête d'envisager les choses
+|> ce mode n'empêche pas la vérité, on arrête juste d'être totalement ouvert
+|> modalité du « on » = bavardage, curiosité, équivoque
+
+Bavardage = un type de parole n'essayant pas d'énoncer les choses telles qu'elles sont, mais maintient le flux de parole pour la parole (parler pour parler)
+|> neutralise ce qui est dit
+|> détourne de la tâche de la véritable compréhension
+|> engendre une compréhension indifférente à ce qui est dit
+
+Curiosité = s'intéresser au monde par la perception
+|> défaut de la curiosité est quand elle ne cherche qu'à voir pour voir
+|> le bavardage produit la curiosité
+|> s'oppose à l'étonnement
+
+Équivoque = caractérise le statut de ce qui est énoncé ou vu dans le bavardage / curiosité
+|> caractérise toujours l'opinion répandue -> toujours flou
+|> se manifeste dans le pressentiment ou dans l'impression de savoir ce qui doit arriver
+-> impression de connaître la chose
+|> la vérité devient impossible à identifier
+
+Conséquences du « on »
+1. neutralise la vérité en enlevant sa relation avec moi
+2. produit une fausseté ou une apparence de vérité qui pervertie notre rapport aux choses, à autrui et à nous-même
+
+À chaque fois qu'on questionne le « on », on se rapproche de la vérité
+|> suppose la décision préalable de s'engager dans la vérité et l'ouverture de l'humain au monde qui l'entoure
+=> dimension existentiel de la vérité
+
+Tout énoncé vrai suppose une compréhension antérieure
+
+Il n'y a de vérité que dans la mesure et au moment où le *dasein* est
+|> vérité n'est que pour l'humain car nécessité d'être ouvert au monde
+|> y compris pour les vérités semblant universelles (celles de la physique, de la logique...)
+-> vérité est relative à l'humain, car elle n'est possible que pour lui
+|> avant les lois de Newton soient formulés, elles n'étaient ni vraies, ni fausses  (mais elles existaient déjà), pourtant les choses respectaient déjà ces lois -> elles sont devenues vraies grâce à la manière dont les choses sont
+\ No newline at end of file
diff --git a/semestre 2/philosophie générale/td/5- Nietzsche.md b/semestre 2/philosophie générale/td/5- Nietzsche.md
index b9db4dc..ea04edd 100644
--- a/semestre 2/philosophie générale/td/5- Nietzsche.md
+++ b/semestre 2/philosophie générale/td/5- Nietzsche.md
@@ -46,4 +46,15 @@ Savant est dangereux car pense libérer les autres de l'idéal ascétique alors
 |> est un croyant inconscient, de mauvaise foi
 |> savoir, c'est croire qu'on ne croit pas
 
-C'est la volonté qui institue la vérité chez Nietzsche
-\ No newline at end of file
+C'est la volonté qui institue la vérité chez Nietzsche
+
+> [!danger] Problème dans la philosophie de Nietzsche
+> Souvent, ses catégories sont trop simplistes et caricaturales
+> |> ce sont limite des hommes de paille
+> |> après, ça doit avoir une certaine réalité historique liée à son expérience personnelle, mais ce n'est pas vraiment généralisable
+
+Par la volonté de lucidité que l'idéal ascétique s'autodétruit
+|> Dieu devient incroyable (littéralement)
+
+L'homme véridique cherche la vérité, car il a peur de se tromper
+|> science car on ne supporte pas de se tromper
+\ No newline at end of file
diff --git a/semestre 2/philosophie générale/td/6- Michel Henry.md b/semestre 2/philosophie générale/td/6- Michel Henry.md
new file mode 100644
index 0000000..dc5fc10
--- /dev/null
+++ b/semestre 2/philosophie générale/td/6- Michel Henry.md
@@ -0,0 +1,19 @@
+---
+tags:
+  - sorbonne
+  - philosophie
+  - philosophie-générale
+  - td
+semestre: 2
+---
+Michel Henry, _La Barbarie_
+|> barbarie par excès de civilisation -> domination de la science détruit tout en objectivant
+
+Deux vérités = objectiver et vérité de la vie
+|> est l'enjeu du texte
+
+Nietzsche, _Fragments Posthumes_ est super pertinent pour Nietzsche
+
+Ipséité = ce qui fait notre singularité
+
+L'objet est une production de la vie -> sans la vie, personne ne pourrait voir l'objet : il ne serait donc pas
+\ No newline at end of file
diff --git a/semestre 2/tpe/.gitignore b/semestre 2/tpe/.gitignore
new file mode 100644
index 0000000..300a4d9
--- /dev/null
+++ b/semestre 2/tpe/.gitignore
@@ -0,0 +1,316 @@
+*.pdf
+
+# Created by https://www.toptal.com/developers/gitignore/api/latex
+# Edit at https://www.toptal.com/developers/gitignore?templates=latex
+
+### LaTeX ###
+## Core latex/pdflatex auxiliary files:
+*.aux
+*.lof
+*.log
+*.lot
+*.fls
+*.out
+*.toc
+*.fmt
+*.fot
+*.cb
+*.cb2
+.*.lb
+
+## Intermediate documents:
+*.dvi
+*.xdv
+*-converted-to.*
+# these rules might exclude image files for figures etc.
+# *.ps
+# *.eps
+# *.pdf
+
+## Generated if empty string is given at "Please type another file name for output:"
+.pdf
+
+## Bibliography auxiliary files (bibtex/biblatex/biber):
+*.bbl
+*.bcf
+*.blg
+*-blx.aux
+*-blx.bib
+*.run.xml
+
+## Build tool auxiliary files:
+*.fdb_latexmk
+*.synctex
+*.synctex(busy)
+*.synctex.gz
+*.synctex.gz(busy)
+*.pdfsync
+
+## Build tool directories for auxiliary files
+# latexrun
+latex.out/
+
+## Auxiliary and intermediate files from other packages:
+# algorithms
+*.alg
+*.loa
+
+# achemso
+acs-*.bib
+
+# amsthm
+*.thm
+
+# beamer
+*.nav
+*.pre
+*.snm
+*.vrb
+
+# changes
+*.soc
+
+# comment
+*.cut
+
+# cprotect
+*.cpt
+
+# elsarticle (documentclass of Elsevier journals)
+*.spl
+
+# endnotes
+*.ent
+
+# fixme
+*.lox
+
+# feynmf/feynmp
+*.mf
+*.mp
+*.t[1-9]
+*.t[1-9][0-9]
+*.tfm
+
+#(r)(e)ledmac/(r)(e)ledpar
+*.end
+*.?end
+*.[1-9]
+*.[1-9][0-9]
+*.[1-9][0-9][0-9]
+*.[1-9]R
+*.[1-9][0-9]R
+*.[1-9][0-9][0-9]R
+*.eledsec[1-9]
+*.eledsec[1-9]R
+*.eledsec[1-9][0-9]
+*.eledsec[1-9][0-9]R
+*.eledsec[1-9][0-9][0-9]
+*.eledsec[1-9][0-9][0-9]R
+
+# glossaries
+*.acn
+*.acr
+*.glg
+*.glo
+*.gls
+*.glsdefs
+*.lzo
+*.lzs
+*.slg
+*.slo
+*.sls
+
+# uncomment this for glossaries-extra (will ignore makeindex's style files!)
+# *.ist
+
+# gnuplot
+*.gnuplot
+*.table
+
+# gnuplottex
+*-gnuplottex-*
+
+# gregoriotex
+*.gaux
+*.glog
+*.gtex
+
+# htlatex
+*.4ct
+*.4tc
+*.idv
+*.lg
+*.trc
+*.xref
+
+# hyperref
+*.brf
+
+# knitr
+*-concordance.tex
+# TODO Uncomment the next line if you use knitr and want to ignore its generated tikz files
+# *.tikz
+*-tikzDictionary
+
+# listings
+*.lol
+
+# luatexja-ruby
+*.ltjruby
+
+# makeidx
+*.idx
+*.ilg
+*.ind
+
+# minitoc
+*.maf
+*.mlf
+*.mlt
+*.mtc[0-9]*
+*.slf[0-9]*
+*.slt[0-9]*
+*.stc[0-9]*
+
+# minted
+_minted*
+*.pyg
+
+# morewrites
+*.mw
+
+# newpax
+*.newpax
+
+# nomencl
+*.nlg
+*.nlo
+*.nls
+
+# pax
+*.pax
+
+# pdfpcnotes
+*.pdfpc
+
+# sagetex
+*.sagetex.sage
+*.sagetex.py
+*.sagetex.scmd
+
+# scrwfile
+*.wrt
+
+# svg
+svg-inkscape/
+
+# sympy
+*.sout
+*.sympy
+sympy-plots-for-*.tex/
+
+# pdfcomment
+*.upa
+*.upb
+
+# pythontex
+*.pytxcode
+pythontex-files-*/
+
+# tcolorbox
+*.listing
+
+# thmtools
+*.loe
+
+# TikZ & PGF
+*.dpth
+*.md5
+*.auxlock
+
+# titletoc
+*.ptc
+
+# todonotes
+*.tdo
+
+# vhistory
+*.hst
+*.ver
+
+# easy-todo
+*.lod
+
+# xcolor
+*.xcp
+
+# xmpincl
+*.xmpi
+
+# xindy
+*.xdy
+
+# xypic precompiled matrices and outlines
+*.xyc
+*.xyd
+
+# endfloat
+*.ttt
+*.fff
+
+# Latexian
+TSWLatexianTemp*
+
+## Editors:
+# WinEdt
+*.bak
+*.sav
+
+# Texpad
+.texpadtmp
+
+# LyX
+*.lyx~
+
+# Kile
+*.backup
+
+# gummi
+.*.swp
+
+# KBibTeX
+*~[0-9]*
+
+# TeXnicCenter
+*.tps
+
+# auto folder when using emacs and auctex
+./auto/*
+*.el
+
+# expex forward references with \gathertags
+*-tags.tex
+
+# standalone packages
+*.sta
+
+# Makeindex log files
+*.lpz
+
+# xwatermark package
+*.xwm
+
+# REVTeX puts footnotes in the bibliography by default, unless the nofootinbib
+# option is specified. Footnotes are the stored in a file with suffix Notes.bib.
+# Uncomment the next line to have this generated file ignored.
+#*Notes.bib
+
+### LaTeX Patch ###
+# LIPIcs / OASIcs
+*.vtc
+
+# glossaries
+*.glstex
+
+# End of https://www.toptal.com/developers/gitignore/api/latex
diff --git a/semestre 2/tpe/L'informatique au service du bien commun est-ce une nécessité démocratique.md b/semestre 2/tpe/L'informatique au service du bien commun est-ce une nécessité démocratique.md
new file mode 100644
index 0000000..055928a
--- /dev/null
+++ b/semestre 2/tpe/L'informatique au service du bien commun est-ce une nécessité démocratique.md
@@ -0,0 +1,8 @@
+---
+tags:
+  - sorbonne
+  - philosophie
+  - informatique
+semestre: 2
+---
+Deuxième sujet
+\ No newline at end of file
diff --git a/semestre 2/tpe/La programmation objet expliquée par la théorie des Idées platonicienne.md b/semestre 2/tpe/La programmation objet expliquée par la théorie des Idées platonicienne.md
new file mode 100644
index 0000000..ab59e6f
--- /dev/null
+++ b/semestre 2/tpe/La programmation objet expliquée par la théorie des Idées platonicienne.md
@@ -0,0 +1,48 @@
+---
+tags:
+  - sorbonne
+  - philosophie
+  - informatique
+semestre: 2
+---
+## Introduction
+Je fréquente beaucoup de développeurs et une bonne partie d'entre eux est intéressée par la philosophie, mais ils ne savent pas du tout par où commencer. Cette absence de repère est totalement compréhensible quand nous faisons face à une montagne de connaissance s'étalant de l'Antiquité lointaine à maintenant. Trouver une entrée accessible dans ces plus de 2500 ans d'histoire est une tache dantesque pour une personne seule.
+
+En tant qu'étudiant en double licence Science-Philosophie, plus précisément en Informatique-Philosophie, je trouve qu'il est de mon devoir de lier ces deux disciplines que tout semble éloigner, notamment pour ceux venant de l'un cherchant à comprendre l'autre. Ce travail personnel encadré (TPE) de la faculté des lettres a été pensé en parallèle avec le sujet que je traite dans l'atelier de recherche encadré (ARE) de la faculté des sciences et d'ingénierie. Ici, j'essaierai de lier la philosophie à l'informatique tandis que mon projet en ARE s'occupera de lier l'informatique à la philosophie.
+
+Pour initier les philosophes à l'informatique, j'ai décidé de vulgariser la programmation objet (POO), un paradigme fondamental en informatique, à l'aide de la théorie des Idées de Platon. Cette théorie philosophe me parait être la meilleure manière d'initier à ce concept informatique particulièrement utilisé en entreprise et très répandu. En effet, de nombreux concepts de cette programmation se rapproche grandement de la théorie platonique de la connaissance : les objets en POO seraient les Idées de Platon et l'instance d'un objet serait l'équivalent de son image.
+
+Avant de plus détailler les liens entre la théorie des Idées et la programmation objet, il me semble essentiel de rappeler l'essence de cette théorie philosophique. Ensuite, je détaillerai ces liens étonnants pour finalement évoquer les limites de cette analogie.
+## La théorie des Idées platoniciennes
+Platon, philosophe antique majeur, a exercé une influence considérable sur toute la philosophie, notamment grâce à sa méthode didactique et ses théories métaphysiques. 
+
+La plus importante de tout est sûrement celle stipulant l'existence d'Idées indépendamment de toute réalité sensible : le concept d'âme, de Beau ou de Juste font partie de cette réalité différente. Ces concepts, par opposition aux réalités changeantes du monde sensible, sont immuables : ils ne dépendent pas de notre perception ou de notre opinion. Cette propriété leur permet d'être les objets de la connaissance et de la définition. En effet, en étant immuable, et donc universelle et éternelle, tout savoir sur les Idées sera universellement vrai et applicable partout.
+
+La théorie des Idées permet de construire des objets stables de la connaissance : un cheval qu'il soit blanc ou noir, petit ou grand, maigre ou fort reste un cheval, peu importe ses variations accidentelles. Ce qui définit le cheval ne dépend donc pas de sa représentation sensible, comme pour toutes les autres définitions. C'est cette universalité que Platon appelle Idée.
+
+Ces Idées permettent de comprendre tous les objets en découlant : en étudiant le cheval en soi, j'étudie ce qui définit le cheval, permettant alors de comprendre tous les chevaux possibles. Cela s'oppose à l'étude des propriétés accidentelles des objets, comme la couleur de la robe du cheval, qui ne permettent de comprendre qu'un individu isolé.
+
+*Relation entre l'image et le modèle est le même que celui entre sensible et intelligible*, cf [[2- Intermède]]
+Cette relation est très similaire à celle liant la peinture à son modèle. En effet, la peinture représente le modèle d'une manière imparfaite : certaines proportions ne sont pas respectées, les couleurs ne sont pas identiques, sa position ressemble sans pour autant être la même. Toutes ces variations sont accidentelles puisqu'elles ne redéfinissent pas le modèle de la peinture : nous sommes toujours capables de voir un cheval dans une peinture représentant un cheval. Pour expliciter plus le parallèle entre peinture et modèle, la peinture serait l'équivalent de la représentation sensible (« dans notre monde ») de l'Idée intelligible, qui serait le modèle.
+
+Toute cette théorie permet d'expliciter l'importance de la définition tout en possibilisant la vérité : les connaissances ne portent que sur les Idées (il est inutile d'analyser les choses accidentelles puisqu'elles changent), ce qui les rend universelles, donnant ainsi accès à la vérité.
+## Explication de la programmation objet à l'aide la théorie des Idées
+Quand une développeur conçoit un programme, un logiciel, un site web, il a le choix entre plusieurs approches. Toutes possèdent des avantages comme la robustesse de sa conception et des inconvénients comme la difficulté d'utilisation de la technologie. La programmation objet (POO) est une approche spécifique d'un problème : elle vise à construire des objets génériques qui représentent les états du système. Cette vision de la programmation est si importante qu'elle est considérée comme un paradigme : ce choix modifie grandement l'approche du problème et donc sa résolution.
+
+La POO est très utilisée en entreprise pour sa robustesse et sa portabilité. En effet, en créant un objet représentant un état précis d'un sous-système, on contraint le système à être dans un état forcément connu. De plus, de nombreux langages mettant en place de la POO ne dépendent pas du système d'exploitation ou de l'architecture de la machine pour fonctionner, comme Java, Python ou Ruby. Par contre, son principal désavantage est son absence de flexibilité directement impliquée par sa grande robustesse. De plus, cette approche est souvent plus lourde sur les performances et sur l'écriture du programme.
+
+Mais, concrètement, quelle est l'essence POO ?
+
+Dans une application construite à l'aide la POO, toutes les choses sont représentées à l'aide d'objets, que ça soit la fenêtre de l'application, le texte qui s'affiche ou les boutons sur lesquels l'utilisateur peut appuyer. Ces objets sont définis à l'avance par le développeur : l'objet représentant un texte devra posséder le texte à afficher et l'objet « bouton » devra savoir quelle action effectuée si l'utilisateur clique dessus. Ces définitions ne sont pas particulières : elles sont générales. Elles doivent contenir toutes les représentations possibles des choses utilisant l'objet. Ce concept est l'équivalent des Idées chez Platon. En effet, l'Idée de bouton est immuable et sert à définir le bouton, ce qui s'apparente totalement au rôle de l'objet dans la POO. 
+
+Pour utiliser un objet, on crée une instance de ce dernier. Cette instance est particulière et unique : elle possède ses propres caractéristiques découlant de l'objet. Par exemple, une instance de l'objet « bouton » possède sa propre action à exécuter quand l'utilisateur clique dessus. Le lien entre l'instance et l'objet est le même que celui entre le sensible et l'intelligible. L'objet est l'Idée et une instance particulière d'un objet est un objet sensible avec lequel nous pouvons rentrer en contacte numériquement. Cette vision est aussi confirmée par l'interaction de l'utilisateur avec le programme : ce dernier n’interagit numériquement qu'avec des instances d'objet (on ne peut pas interagir numériquement avec un objet, sinon cela reviendrait à interagir numériquement avec une définition, ce qui n'a pas de sens), comme nous qui ne pouvons interagir qu'avec des objets sensibles dans notre monde sensible.
+
+La POO facilite la création d'objet à l'aide de l'héritage, c'est-à-dire qu'un objet peut hériter les propriétés d'un autre. On peut ainsi créer l'objet « texte avec un lien » en héritant les propriétés de l'objet « texte » et en lui rajoutant la fonctionnalité permettant de cliquer. Cet héritage permet d'éviter de se répéter : on ne réexplique pas deux fois ce qu'est un texte, on indique juste à l'ordinateur de regarder comment fonctionne l'objet « texte » et d'appliquer la même logique pour le nouvel objet. L'équivalent de l'héritage dans le monde intelligible serait, par exemple, de donner l'Idée de « lit » puis d'en tirer l'idée de « lit double ». On aurait ainsi que les liens entre « texte » et « texte avec un lien » et entre « lit » et « lit double » est similaire.
+
+Pour résumé, la programmation orienté objet est une approche particulière de la programmation résolvant les problèmes à l'aide de la construction d'objet. Il s'agit d'un analogue à l'Idée platonicienne dans son rôle : ce dernier sert la définition et n'est pas directement accessible à l'utilisateur. L'instance de cet objet est la représentation numérique singulière de l'objet : elle est définie par l'objet, mais possède ses propres particularités accidentelles. Elle est l'analogue de l'objet sensible de la théorie des Idées puisqu'elle est définie par l'objet et que l'utilisateur interagit numériquement avec. Il existe aussi un système d'héritage entre les différents objets pour éviter de répéter des principes. Ce système ressemble au lien entre les Idées de « lit » et de « lit double ».
+## Conclusion
+La théorie des Idées est la théorie métaphysique centrale dans la pensée de Platon. C'est à l'aide de cette dernière qu'il peut justifier toute sa philosophie : les degrés de connaissance, l'utilité de l'âme et la réminiscence découlent des Idées. Ces concepts supplémentaires n'ont, à mes yeux, aucune équivalence en POO, ou plus généralement en programmation. Cette analogie est donc limitée à la théorie des Idées seule, ce qui est contrintuitif quand on connait l'importance des autres théories platoniciennes dans sa métaphysique.
+
+De plus, cette analogie reste une forme de vulgarisation de la POO, sans jamais rentrer dans les détails de son fonctionnement intrinsèque. Elle parait donc difficilement utilisable pour apprendre à développer.
+
+Par contre, elle ne se limite pas à un simple but éducatif. La POO peut véritablement être vue comme une manière de définir un monde intelligible numérique (tous les états possibles du sensible de ce monde sont représentés par des objets de son intelligible), ce que je trouve philosophiquement très intéressant.
+\ No newline at end of file
diff --git a/semestre 2/tpe/La théorie des Idées de Platon expliquée par la programmation objet.md b/semestre 2/tpe/La théorie des Idées de Platon expliquée par la programmation objet.md
deleted file mode 100644
index f5976d8..0000000
--- a/semestre 2/tpe/La théorie des Idées de Platon expliquée par la programmation objet.md
+++ /dev/null
@@ -1,103 +0,0 @@
----
-tags:
-  - sorbonne
-  - philosophie
-  - informatique
-semestre: 2
----
-Idées : vulgariser la théorie des Idées de Platon aux développeurs
-|> demande aussi de vulgariser la programmation objet pour le professeur de philosophie
-|> est lié à mon objectif de devenir prof : vulgarisation est proche de l'enseignement
-## Introduction
-Je fréquente beaucoup de développeurs et une bonne partie d'entre-eux est intéressée par la philosophie, mais il ne savent pas du tout par où commencer. Cette absence de repère est totalement compréhensible quand nous faisons face à une montagne de connaissance s'étalant de l'Antiquité lointaine à maintenant. Trouver une entrée accessible dans ces plus de 2500 ans d'histoire est une tache dantesque pour une personne seule.
-
-En tant qu'étudiant en double licence Science-Philosophie, plus précisément en Informatique-Philosophie, je trouve qu'il est de mon devoir de lier ces deux disciplines que tout semble éloigner, notamment pour ceux venant de l'un cherchant à comprendre l'autre. Ce travail personnel encadré (TPE) de la faculté des lettres a été pensé en parallèle avec le sujet que je traite dans l'atelier de recherche encadré (ARE) de la faculté des sciences et ingénierie. Ici, j'essaierai de lier la philosophie à l'informatique tandis que mon projet de l'ARE s'occupera de lier l'informatique à la philosophie.
-
-Pour initier les développeurs à la philosophie, j'ai décidé de vulgariser la théorie des Idées de Platon en utilisant un paradigme fondamental en informatique : la programmation objet (POO). Ce concept particulièrement utilisé en entreprise et très répandu me semble comme étant la meilleure manière d'initier à l'entreprise philosophique de Platon, auteur essentiel de la philosophie antique ayant servi de fondement à la majorité de la philosophie continentale. En effet, de nombreux concepts de cette programmation se rapproche grandement de la théorie platonique de la connaissance : les objets en POO seraient les Idées de Platon et l'instance d'un objet serait l'équivalent de son image.
-
-Avant de plus détailler les liens entre la théorie des Idées et la programmation objet, il me semble essentiel de vulgariser le fonctionnement de cette théorie pour les philosophes. Ensuite, je détaillerai ces liens étonnant pour finalement critiquer cette analogie surprenante.
-## La programmation objet
-Quand une développeur conçoit un programme, un logiciel, un site web, il a le choix entre plusieurs approches. Toutes possèdent des avantages comme la robustesse de sa conception et des inconvénients comme la difficulté d'utilisation de la technologie. La programmation objet (POO) est une approche spécifique d'un problème : elle vise à construire des objets génériques qui représentent les états du système. Cette vision de la programmation est si importante qu'elle est considérée comme un paradigme : ce choix modifie grandement l'approche du problème et donc sa résolution.
-
-La POO est très utilisée en entreprise pour sa robustesse et sa portabilité. En effet, en créant un objet représentant un état précis d'un sous-système, on contraint le système à être dans un état forcément connu. De plus, de nombreux langages mettant en place de la POO ne dépendent pas du système d'exploitation ou de l'architecture de la machine pour fonctionner, comme Java, Python ou Ruby. Par contre, son principal désavantage est son absence de flexibilité directement impliquée par sa grande robustesse. De plus, cette approche est souvent plus lourde sur les performances et sur l'écriture du programme.
-
-Mais, concrètement, à quoi ressemble de la POO ?
-
-Prenons l'exemple d'un jeu vidéo. Son créateur souhaite intégrer une chaise pour que le joueur puisse s’asseoir. Le développeur devra donc créer l'objet chaise décrivant toutes les propriétés et tous les états possibles de la chaise. Il s'agit philosophiquement parlant de l'*essence* de la chaise. Cette déclaration s'écrit dans une classe, qui n'est que la représentation formelle de l'objet. Dans notre cas, la chaise doit être repérée dans l'espace : on doit donc lui rajouter des coordonnées.
-```
-classe Chaise = {
-	Nombre x
-	Nombre y
-	Nombre z
-}
-```
-Ce pseudo-code représente la chaise telle qu'on la définit au-dessus : elle possède trois coordonnées nommées `x`, `y` et `z` qui sont des nombres.
-
-Cette définition très simple nous limite grandement : on ne peut pas s'asseoir dessus par exemple. On doit donc lui rajouter une nouvelle propriété binaire indiquant si quelqu'un est assis dessus ainsi que cette personne. On obtient donc :
-```
-classe Chaise = {
-	Nombre x
-	Nombre y
-	Nombre z
-	
-	Binaire une_personne_est_elle_assise
-	Personne personne_assise
-}
-```
-Notre chaise est maintenant plus intéressante, mais on ne peut toujours pas s'asseoir dessus : on peut juste représenter une personne assise. Pour rajouter cette fonctionnalité, on doit créer une méthode pour s'asseoir dessus. Pour appliquer la méthode, on a besoin de lui donner la personne à asseoir :
-```
-classe Chaise = {
-	Nombre x
-	Nombre y
-	Nombre z
-	
-	Binaire une_personne_est_elle_assise
-	Personne personne_assise
-	
-	méthode asseoir_une_personne(Personne personne_a_s_asseoir)
-}
-```
-Maintenant, notre chaise est totalement fonctionnelle : on peut la mettre dans l'espace et faire s'asseoir quelqu'un dessus, mais on ne peut pas la créer ! Pour ce faire, on rajoute une méthode de création appelée constructeur, qui ici a besoin des coordonnées dans l'espace :
-```
-classe Chaise = {
-	Nombre x
-	Nombre y
-	Nombre z
-	
-	Binaire une_personne_est_elle_assise
-	Personne personne_assise
-	
-	méthode asseoir_une_personne(Personne personne_assise)
-	
-	méthode constructeur(Nombre x, Nombre y, Nombre z)
-}
-```
-Notre classe `Chaise` est prête à être utilisée. On peut maintenant créer une nouvelle chaise en lui indiquant où elle est. Cette nouvelle instance ne modifie pas la classe `Chaise` : elle ne fait qu'utiliser ses propriétés. L'instance de la classe est accidentelle par rapport à sa classe.
-
-Après, si on le souhaite, on peut créer des relations entre les classes pour simplifier la représentation. Je peux, par exemple, créer une classe `ObjetDansEspace` qui possédera déjà les propriétés pour être représentée dans l'espace. On dit alors que la classe `Chaise` étend de la classe `ObjetDansEspace` ce qui peut être représenté comme ceci :
-```
-classe Chaise étend de ObjetDansEspace = {
-	Binaire une_personne_est_elle_assise
-	Personne personne_assise
-	
-	méthode asseoir_une_personne(Personne personne_assise)
-}
-```
-Nous n'avons plus besoin de définir les coordonnées et le constructeur car la classe `ObjetDansEspace` s'en occupe à notre place. Si on devait schématiser, on aurait quelque chose comme ça :
-```mermaid
-flowchart RL
-	A[Chaise] ---> B[ObjetDansEspace]
-```
-La flèche indique que la chaise est un objet dans l'espace.
-
-D'un point de vue plus théorique, toutes les classes sont des objets - d'où le nom de programmation objet ! -, donc on aurait :
-```mermaid
-flowchart RL
-	A[Chaise] ---> B[ObjetDansEspace]
-	B ---> C[Objet]
-```
-
-Maintenant que l'on possède les bases en programmation objet, on peut passer à la théorie des Idées.
-## La programmation objet comme analogie de la théorie des Idées
-## Critique de l'analogie
-## Conclusion
-\ No newline at end of file
diff --git a/semestre 2/tpe/biblio.bib b/semestre 2/tpe/biblio.bib
new file mode 100644
index 0000000..47b2f1b
--- /dev/null
+++ b/semestre 2/tpe/biblio.bib
@@ -0,0 +1,153 @@
+@article{JavaTechnique2024,
+  title = {{Java (technique)}},
+  year = {2024},
+  month = dec,
+  journal = {Wikip{\'e}dia},
+  urldate = {2025-05-03},
+  abstract = {Java est une technique informatique d{\'e}velopp{\'e}e initialement par Sun Microsystems puis acquise par Oracle {\`a} la suite du rachat de l'entreprise. D{\'e}fini {\`a} l'origine comme un langage de programmation, Java a {\'e}volu{\'e} pour devenir un ensemble coh{\'e}rent d'{\'e}l{\'e}ments techniques et non techniques. Ainsi, la technologie Java regroupe : des standards (la plateforme Java) d{\'e}finis sous forme de sp{\'e}cification par le Java Community Process (JCP), en trois {\'e}ditions : Java SE (standard edition), Java EE (enterprise edition), s'appuyant sur Java SE, Java ME (micro edition), ind{\'e}pendante des deux pr{\'e}c{\'e}dentes ; des logiciels (langages informatiques, biblioth{\`e}ques, frameworks, serveurs d'application, outils d'aide au d{\'e}veloppement), dont : des impl{\'e}mentations (concurrentes) de ces sp{\'e}cifications, un {\'e}cosyst{\`e}me d'autres logiciels s'appuyant sur tout ou partie de ces standards, voire leur faisant concurrence ; des communaut{\'e}s d'entreprises, organisations {\`a} but non lucratif (fondations, Java User Groups, universit{\'e}s) et ind{\'e}pendants, membres ou non du JCP, poss{\'e}dant tout ou partie des marques, brevets, parts de march{\'e} li{\'e}s {\`a} la technologie Java. Java est un des termes les plus connus du monde de l'informatique et de l'Internet. Sa notori{\'e}t{\'e} est telle que Sun, avant d'{\^e}tre achet{\'e} par Oracle Corporation, a d{\'e}cid{\'e} de l'utiliser pour son symbole boursier au Nasdaq, symbole qui {\'e}tait SUNW {\`a} l'origine, et est devenu JAVA. Java est utilis{\'e} dans une grande vari{\'e}t{\'e} de plateformes depuis les syst{\`e}mes embarqu{\'e}s et les t{\'e}l{\'e}phones mobiles, les ordinateurs individuels, les serveurs, les applications d'entreprise, les superordinateurs, etc.},
+  copyright = {Creative Commons Attribution-ShareAlike License},
+  langid = {french},
+  annotation = {Page Version ID: 220847226},
+  file = {/home/anhgelus/Zotero/storage/ZUEV4X8H/Java_(technique).html}
+}
+
+@misc{MostUsedLanguages2024,
+  title = {Most Used Languages among Software Developers Globally 2024},
+  year = {2024},
+  month = jul,
+  journal = {Statista},
+  urldate = {2025-05-03},
+  abstract = {As of 2024, JavaScript and HTML/CSS were the most commonly used programming languages among software developers around the world, with more than 62 percent of respondents stating that they used JavaScript and just around 53 percent using HTML/CSS.},
+  howpublished = {https://www.statista.com/statistics/793628/worldwide-developer-survey-most-used-languages/},
+  langid = {english},
+  file = {/home/anhgelus/Zotero/storage/S2NIZPMG/worldwide-developer-survey-most-used-languages.html}
+}
+
+@article{ParadigmeProgrammation2025,
+  title = {{Paradigme (programmation)}},
+  year = {2025},
+  month = jan,
+  journal = {Wikip{\'e}dia},
+  urldate = {2025-05-03},
+  abstract = {Le paradigme de programmation est la fa{\c c}on (parmi d'autres) d'approcher la programmation informatique et de formuler les solutions aux probl{\`e}mes et leur formalisation dans un langage de programmation appropri{\'e}. Ce n'est pas de la m{\'e}thodologie contenant une m{\'e}thode ; cette derni{\`e}re organise le traitement des probl{\`e}mes reconnus dans l'{\'e}cosyst{\`e}me concern{\'e} pour aboutir {\`a} la solution conceptuelle et programme ex{\'e}cutable.},
+  copyright = {Creative Commons Attribution-ShareAlike License},
+  langid = {french},
+  annotation = {Page Version ID: 222561462},
+  file = {/home/anhgelus/Zotero/storage/9ESBWCFG/Paradigme_(programmation).html}
+}
+
+@inproceedings{pereiraEnergyEfficiencyProgramming2017,
+  title = {Energy Efficiency across Programming Languages: How Do Energy, Time, and Memory Relate?},
+  shorttitle = {Energy Efficiency across Programming Languages},
+  booktitle = {Proceedings of the 10th {{ACM SIGPLAN International Conference}} on {{Software Language Engineering}}},
+  author = {Pereira, Rui and Couto, Marco and Ribeiro, Francisco and Rua, Rui and Cunha, J{\'a}come and Fernandes, Jo{\~a}o Paulo and Saraiva, Jo{\~a}o},
+  year = {2017},
+  month = oct,
+  series = {{{SLE}} 2017},
+  pages = {256--267},
+  publisher = {Association for Computing Machinery},
+  address = {New York, NY, USA},
+  doi = {10.1145/3136014.3136031},
+  urldate = {2025-05-03},
+  abstract = {This paper presents a study of the runtime, memory usage and energy consumption of twenty seven well-known software languages. We monitor the performance of such languages using ten different programming problems, expressed in each of the languages. Our results show interesting findings, such as, slower/faster languages consuming less/more energy, and how memory usage influences energy consumption. Finally, we show how to use our results to provide software engineers support to decide which language to use when energy efficiency is a concern.},
+  isbn = {978-1-4503-5525-4},
+  file = {/home/anhgelus/Zotero/storage/ZHQPWXF7/Pereira et al. - 2017 - Energy efficiency across programming languages how do energy, time, and memory relate.pdf}
+}
+
+@article{Platon2025,
+  title = {{Platon}},
+  year = {2025},
+  month = mar,
+  journal = {Wikip{\'e}dia},
+  urldate = {2025-05-03},
+  abstract = {Platon (en grec ancien : {$\Pi\lambda\acute{\alpha}\tau\omega\nu$} / Pl{\'a}t{\^o}n /pl{\'a}.tɔːn/), n{\'e} en 428 / 427 av. J.-C. et mort en 348 / 347 av. J.-C. {\`a} Ath{\`e}nes, est un philosophe antique de la Gr{\`e}ce classique, contemporain de la d{\'e}mocratie ath{\'e}nienne et des sophistes qu'il critiqua vigoureusement. Il reprit le travail philosophique de certains de ses pr{\'e}d{\'e}cesseurs, notamment Socrate dont il fut l'{\'e}l{\`e}ve, ainsi que Parm{\'e}nide, H{\'e}raclite et Pythagore, afin d'{\'e}laborer sa propre pens{\'e}e. Celle-ci explore la plupart des champs importants, c'est-{\`a}-dire la m{\'e}taphysique, l'{\'e}thique, l'esth{\'e}tique et la politique. Il eut notamment comme {\'e}l{\`e}ve Aristote {\`a} l'Acad{\'e}mie qu'il a lui-m{\^e}me fond{\'e}e {\`a} Ath{\`e}nes. Son {\oe}uvre, compos{\'e}e presque exclusivement de dialogues, produit les premi{\`e}res formulations classiques des probl{\`e}mes majeurs de l'histoire de la philosophie. Chaque dialogue de Platon est l'occasion d'interroger un sujet donn{\'e}, par exemple le beau ou le courage. Il y d{\'e}veloppe une m{\'e}thode qu'il appelle dialectique ou ma{\"i}eutique. Il voua la majeure partie de son activit{\'e} {\`a} la philosophie premi{\`e}re, mais il se consacra aussi aux apparences et aborda l'histoire naturelle dans laquelle il voulut {\'e}tablir deux principes : l'un subissant, comme la mati{\`e}re, appel{\'e} r{\'e}cepteur universel ; l'autre agissant, comme une cause, qu'il rattache {\`a} la puissance du dieu et du Bien. Platon d{\'e}veloppe une r{\'e}flexion sur les Id{\'e}es commun{\'e}ment appel{\'e}e th{\'e}orie des formes ou th{\'e}orie des Id{\'e}es, dans laquelle la r{\'e}alit{\'e} sensible est consid{\'e}r{\'e}e comme un ensemble d'objets participant de leurs mod{\`e}les immuables. La Forme supr{\^e}me est le principe du Bien, englobant les arch{\'e}types du Juste, du Bon et du Beau. La philosophie politique de Platon consid{\`e}re que la Cit{\'e} juste doit {\^e}tre construite selon le mod{\`e}le du Bien en soi. Dans La R{\'e}publique, il d{\'e}veloppe en cons{\'e}quence l'id{\'e}e du philosophe roi. La pens{\'e}e de Platon n'est pas monolithique. Une partie de ses dialogues aboutissent {\`a} des apories philosophiques : apportant une solution aux probl{\`e}mes pos{\'e}s, ils ne constituent pas une r{\'e}ponse unique et d{\'e}finitive. Un long d{\'e}bat a donc agit{\'e} les commentateurs pour d{\'e}terminer si Platon professait une philosophie dogmatique ou sceptique. Il est g{\'e}n{\'e}ralement consid{\'e}r{\'e} comme l'un des premiers philosophes grecs, sinon comme l'inventeur de la philosophie, au point que Whitehead a pu dire : << La philosophie occidentale n'est qu'une suite de notes de bas de page aux dialogues de Platon >>. Th{\'e}ophraste, parlant des philosophes, dit de Platon qu'il fut le premier par la renomm{\'e}e et le g{\'e}nie, tout en {\'e}tant le dernier dans la chronologie.},
+  copyright = {Creative Commons Attribution-ShareAlike License},
+  langid = {french},
+  annotation = {Page Version ID: 223756163},
+  file = {/home/anhgelus/Zotero/storage/XWD9LJQT/Platon.html}
+}
+
+@book{platonPhedon1991,
+  title = {{Ph{\'e}don}},
+  author = {Platon},
+  year = {1991},
+  month = mar,
+  publisher = {Flammarion},
+  address = {Paris},
+  urldate = {2025-05-03},
+  abstract = {D{\'e}couvrez l'ouvrage Ph{\'e}don},
+  isbn = {978-2-08-070489-4},
+  langid = {french},
+  annotation = {Traduction par Monique Dixsaut},
+  file = {/home/anhgelus/Zotero/storage/JISTAEBE/phedon.html}
+}
+
+@book{platonSophiste2022,
+  title = {{Le Sophiste}},
+  author = {Platon},
+  year = {2022},
+  month = sep,
+  series = {{Les Dialogues de Platon}},
+  publisher = {Vrin},
+  address = {Paris},
+  urldate = {2025-05-03},
+  abstract = {D{\'e}couvrez l'ouvrage Le Sophiste {\textbar} Collection Les Dialogues de Platon},
+  isbn = {978-2-7116-3060-8},
+  langid = {french},
+  annotation = {Traduction de Monique Dixsaut},
+  file = {/home/anhgelus/Zotero/storage/IQPTXNJJ/le-sophiste.html}
+}
+
+@book{platonTheetete2016,
+  title = {{Th{\'e}{\'e}t{\`e}te}},
+  author = {Platon},
+  year = {2016},
+  month = jun,
+  publisher = {Flammarion},
+  address = {Paris},
+  urldate = {2025-05-03},
+  abstract = {D{\'e}couvrez l'ouvrage Th{\'e}{\'e}t{\`e}te},
+  isbn = {978-2-08-138670-9},
+  langid = {french},
+  annotation = {Traduction par Michel Narcy},
+  file = {/home/anhgelus/Zotero/storage/44QMZJQN/theetete.html}
+}
+
+@article{ProgrammationOrienteeObjet2025,
+  title = {{Programmation orient{\'e}e objet}},
+  year = {2025},
+  month = jan,
+  journal = {Wikip{\'e}dia},
+  urldate = {2025-05-03},
+  abstract = {La programmation orient{\'e}e objet (POO), ou programmation par objet, est un paradigme de programmation informatique. Elle consiste en la d{\'e}finition et l'interaction de briques logicielles appel{\'e}es objets ; un objet repr{\'e}sente un concept, une id{\'e}e ou toute entit{\'e} du monde physique, comme une voiture, une personne ou encore une page d'un livre. Il poss{\`e}de une structure interne et un comportement, et il sait interagir avec ses pairs. Il s'agit donc de repr{\'e}senter ces objets et leurs relations ; l'interaction entre les objets via leurs relations permet de concevoir et r{\'e}aliser les fonctionnalit{\'e}s attendues, de mieux r{\'e}soudre le ou les probl{\`e}mes. D{\`e}s lors, l'{\'e}tape de mod{\'e}lisation rev{\^e}t une importance majeure et n{\'e}cessaire pour la POO. C'est elle qui permet de transcrire les {\'e}l{\'e}ments du r{\'e}el sous forme virtuelle. La programmation par objet consiste {\`a} utiliser des techniques de programmation pour mettre en {\oe}uvre une conception bas{\'e}e sur les objets. Celle-ci peut {\^e}tre {\'e}labor{\'e}e en utilisant des m{\'e}thodologies de d{\'e}veloppement logiciel objet, dont la plus connue est le processus unifi{\'e} (<< Unified Software Development Process >> en anglais), et exprim{\'e}e {\`a} l'aide de langages de mod{\'e}lisation tels que le Unified Modeling Language (UML). La programmation orient{\'e}e objet est facilit{\'e}e par un ensemble de techniques d{\'e}di{\'e}es : les langages de programmation : Ada, AS3, C++, Common Lisp, C\#, Dart, Eiffel, Fortran 2003, Haxe, Java, JavaScript, Kotlin, LOGO, Lua, Matlab, Objective-C, Object Pascal, Perl, PHP, Python, R, Raku, Ruby, Scala, Simula, Smalltalk, Swift, Vala, VB.NET  ; les outils de mod{\'e}lisation qui permettent de concevoir sous forme de sch{\'e}mas semi-formels la structure d'un programme (Objecteering (en), UMLDraw, Rhapsody, DBDesigner{\dots}) ; les bus distribu{\'e}s (DCOM, CORBA, RMI, Pyro{\dots}) ; les ateliers de g{\'e}nie logiciel ou AGL (Visual Studio pour des langages Dotnet, NetBeans ou Eclipse pour le langage Java). Il existe actuellement deux grandes cat{\'e}gories de langages {\`a} objets :  les langages {\`a} classes, que ceux-ci soient sous forme fonctionnelle (Common Lisp Object System), imp{\'e}rative (C++, Java) ou les deux (Python, OCaml) ; les langages {\`a} prototypes (JavaScript, Lua).},
+  copyright = {Creative Commons Attribution-ShareAlike License},
+  langid = {french},
+  annotation = {Page Version ID: 221726719},
+  file = {/home/anhgelus/Zotero/storage/IIY7EPIS/Programmation_orientée_objet.html}
+}
+
+@article{PythonLangage2025,
+  title = {{Python (langage)}},
+  year = {2025},
+  month = may,
+  journal = {Wikip{\'e}dia},
+  urldate = {2025-05-03},
+  abstract = {Python (prononc{\'e} /pi.t{\~ɔ}/) est un langage de programmation interpr{\'e}t{\'e}, multiparadigme et multiplateformes. Il favorise la programmation imp{\'e}rative structur{\'e}e, fonctionnelle et orient{\'e}e objet. Il est dot{\'e} d'un typage dynamique fort, d'une gestion automatique de la m{\'e}moire par ramasse-miettes et d'un syst{\`e}me de gestion d'exceptions ; il est ainsi similaire {\`a} Perl, Ruby, Scheme, Smalltalk et Tcl. Le langage Python est plac{\'e} sous une licence libre proche de la licence BSD et fonctionne sur la plupart des plateformes informatiques, des smartphones aux ordinateurs centraux, de Windows {\`a} Unix avec notamment GNU/Linux en passant par macOS, ou encore Android, iOS, et peut aussi {\^e}tre traduit en Java ou .NET. Il est con{\c c}u pour optimiser la productivit{\'e} des programmeurs en offrant des outils de haut niveau et une syntaxe simple {\`a} utiliser. Il est {\'e}galement appr{\'e}ci{\'e} par certains p{\'e}dagogues qui y trouvent un langage o{\`u} la syntaxe, clairement s{\'e}par{\'e}e des m{\'e}canismes de bas niveau, permet une initiation ais{\'e}e aux concepts de base de la programmation. Selon l'Index TIOBE, notamment en raison de son efficacit{\'e} pour l'apprentissage automatique, sa popularit{\'e} va croissante ; et en 2022 n'a toujours pas montr{\'e} de signe de ralentissement.},
+  copyright = {Creative Commons Attribution-ShareAlike License},
+  langid = {french},
+  annotation = {Page Version ID: 225320605},
+  file = {/home/anhgelus/Zotero/storage/KGM73G3C/Python_(langage).html}
+}
+
+@article{Ruby2025,
+  title = {{Ruby}},
+  year = {2025},
+  month = mar,
+  journal = {Wikip{\'e}dia},
+  urldate = {2025-05-03},
+  abstract = {Ruby est un langage de programmation libre. Il est interpr{\'e}t{\'e}, orient{\'e} objet et multi-paradigme. Le langage a {\'e}t{\'e} standardis{\'e} au Japon en 2011 (JIS X 3017:2011), et en 2012 par l'Organisation internationale de normalisation (ISO 30170:2012).},
+  copyright = {Creative Commons Attribution-ShareAlike License},
+  langid = {french},
+  annotation = {Page Version ID: 224093127},
+  file = {/home/anhgelus/Zotero/storage/LJP5V966/Ruby.html}
+}
diff --git a/semestre 2/tpe/memoire.tex b/semestre 2/tpe/memoire.tex
new file mode 100644
index 0000000..de81111
--- /dev/null
+++ b/semestre 2/tpe/memoire.tex
@@ -0,0 +1,142 @@
+%%=====================================================================================
+%%
+%%       Filename:  cours.tex
+%%
+%%    Description:  
+%%
+%%        Version:  1.0
+%%        Created:  03/06/2024
+%%       Revision:  none
+%%
+%%         Author:  YOUR NAME (), 
+%%   Organization:  
+%%      Copyright:  Copyright (c) 2024, YOUR NAME
+%%
+%%          Notes:  
+%%
+%%=====================================================================================
+\documentclass[a4paper, titlepage, 12pt]{article}
+
+\usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}
+\usepackage{textcomp}
+\usepackage[french]{babel}
+\usepackage{amsmath, amssymb}
+\usepackage{amsthm}
+\usepackage[svgnames]{xcolor}
+\usepackage{thmtools}
+\usepackage{lipsum}
+\usepackage{framed}
+\usepackage[skip=12pt, indent=24pt]{parskip}
+\usepackage{titlesec}
+\usepackage{newtxtext}
+\usepackage{setspace}
+\usepackage{hyperref}
+
+% \renewcommand{\familydefault}{\sfdefault}
+
+\onehalfspacing
+% \geometry{
+% a4paper,
+% textwidth=160mm,
+% textheight=240mm
+% }
+% figure support
+\usepackage{import}
+\usepackage{xifthen}
+\pdfminorversion=7
+\usepackage{pdfpages}
+\usepackage{transparent}
+\newcommand{\incfig}[1]{%
+	\def\svgwidth{\columnwidth}
+	\import{./figures/}{#1.pdf_tex}
+}
+
+\pdfsuppresswarningpagegroup=1
+
+\newenvironment{AQT}{{\fontfamily{qbk}\selectfont AQT}}
+
+\usepackage{LobsterTwo}
+\titleformat{\section}{\LobsterTwo \huge\bfseries}{\thesection.}{1em}{}
+\titleformat{\subsection}{\vspace{2em}\LobsterTwo \Large\bfseries}{\thesubsection.}{1em}{}
+\titleformat{\subsubsection}{\vspace{1em}\LobsterTwo \large\bfseries}{\thesubsubsection.}{1em}{}
+
+\newenvironment{lititle}%
+{\vspace{7mm}\LobsterTwo \large}%
+{\\}
+
+\renewenvironment{proof}{$\square$ \footnotesize\textit{Démonstration.}}{\begin{flushright}$\blacksquare$\end{flushright}}
+
+\newenvironment{longquote}%
+{\vspace{-9pt}\begin{center}\begin{minipage}{120mm}\singlespacing\footnotesize «}%
+{»\end{minipage}\end{center}\vspace{9pt}}
+
+\title{La programmation objet expliquée par la théorie des Idées platonicienne}
+\author{
+	William Hergès\thanks{Sorbonne Université}
+}
+
+
+\begin{document}
+	\maketitle
+	\tableofcontents
+	\newpage
+
+	J'utilise les acronymes suivants~:
+	\begin{itemize}
+		\item \verb|POO| pour programmation orientée objet, synonyme de programmation objet
+	\end{itemize}
+
+	\newpage
+	\section{Introduction}
+	Je fréquente beaucoup de développeurs et une bonne partie d'entre eux est intéressée par la philosophie, mais ils ne savent pas du tout par où commencer. Cette absence de repère est totalement compréhensible quand nous faisons face à une montagne de connaissance s'étalant de l'Antiquité lointaine à maintenant. Trouver une entrée accessible dans ces plus de 2500 ans d'histoire est une tache dantesque pour une personne seule.
+
+	En tant qu'étudiant en double licence Science-Philosophie, plus précisément en Informatique-Philosophie, je trouve qu'il est de mon devoir de lier ces deux disciplines que tout semble éloigner, notamment pour ceux venant de l'un cherchant à comprendre l'autre. Ce travail personnel encadré (TPE) de la faculté des lettres a été pensé en parallèle avec le sujet que je traite dans l'atelier de recherche encadré (ARE) de la faculté des sciences et d'ingénierie. Ici, j'essaierai de lier la philosophie à l'informatique tandis que mon projet en ARE s'occupera de lier l'informatique à la philosophie.
+
+	Pour initier les philosophes à l'informatique, j'ai décidé de vulgariser la programmation objet (POO), un paradigme fondamental en informatique, à l'aide de la théorie des Idées de Platon. Cette théorie philosophe me parait être la meilleure manière d'initier à ce concept informatique particulièrement utilisé en entreprise et très répandu~\cite{MostUsedLanguages2024}. En effet, de nombreux concepts de cette programmation se rapprochent grandement de la théorie platonique de la connaissance~: les objets en POO seraient les Idées de Platon et l'instance d'un objet serait l'équivalent de son image.
+
+	Avant de plus détailler les liens entre la théorie des Idées et la programmation objet, il me semble essentiel de rappeler l'essence de cette théorie philosophique. Ensuite, je détaillerai ces liens étonnants.
+
+	\newpage
+	\section{La théorie des Idées platoniciennes}
+	Platon, philosophe antique majeur, a exercé une influence considérable sur toute la philosophie, notamment grâce à sa méthode didactique et ses théories métaphysiques~\cite{Platon2025}.
+
+	La plus importante de tout est sûrement celle stipulant l'existence d'Idées indépendamment de toute réalité sensible~: le concept d'âme, de Beau ou de Juste font partie de cette réalité différente. Ces concepts, par opposition aux réalités changeantes du monde sensible, sont immuables~: ils ne dépendent pas de notre perception ou de notre opinion. Cette propriété leur permet d'être les objets de la connaissance et de la définition. En effet, en étant immuable, et donc universelle et éternelle, tout savoir sur les Idées sera universellement vrai et applicable partout~\cite{platonTheetete2016}.
+
+	La théorie des Idées permet de construire des objets stables de la connaissance~: un cheval qu'il soit blanc ou noir, petit ou grand, maigre ou fort reste un cheval, peu importe ses variations accidentelles. Ce qui définit le cheval ne dépend donc pas de sa représentation sensible, comme pour toutes les autres définitions. C'est cette universalité que Platon appelle Idée~\cite{platonTheetete2016}.
+
+	Ces Idées permettent de comprendre tous les objets en découlant~: en étudiant le cheval en soi, j'étudie ce qui définit le cheval, permettant alors de comprendre tous les chevaux possibles. Cela s'oppose à l'étude des propriétés accidentelles des objets, comme la couleur de la robe du cheval, qui ne permettent de comprendre qu'un individu isolé.
+
+	Cette relation est très similaire à celle liant la peinture à son modèle. En effet, la peinture représente le modèle d'une manière imparfaite~: certaines proportions ne sont pas respectées, les couleurs ne sont pas identiques, sa position ressemble sans pour autant être la même. Toutes ces variations sont accidentelles puisqu'elles ne redéfinissent pas le modèle de la peinture~: nous sommes toujours capables de voir un cheval dans une peinture représentant un cheval. Pour expliciter plus le parallèle entre peinture et modèle, la peinture serait l'équivalent de la représentation sensible («~dans notre monde~») de l'Idée intelligible, qui serait le modèle~\cite{platonSophiste2022}.
+
+	Toute cette théorie permet d'expliciter l'importance de la définition tout en possibilisant la vérité~: les connaissances ne portent que sur les Idées (il est inutile d'analyser les choses accidentelles puisqu'elles changent), ce qui les rend universelles, donnant ainsi accès à la vérité~\cite{platonTheetete2016}.
+
+	\newpage
+	\section{Explication de la programmation objet à l'aide la théorie des Idées}
+
+	Quand un développeur conçoit un programme, un logiciel, un site web, il a le choix entre plusieurs approches. Toutes possèdent des avantages comme la robustesse de sa conception et des inconvénients comme la difficulté d'utilisation de la technologie. La programmation objet (POO) est une approche spécifique d'un problème~: elle vise à construire des objets génériques qui représentent les états du système. Cette vision de la programmation est si importante qu'elle est considérée comme un paradigme~: ce choix modifie grandement l'approche du problème et donc sa résolution~\cite{ParadigmeProgrammation2025}.
+
+	La POO est très utilisée en entreprise pour sa robustesse et sa portabilité. En effet, en créant un objet représentant un état précis d'un sous-système, on contraint le système à être dans un état forcément connu. De plus, de nombreux langages mettant en place de la POO ne dépendent pas du système d'exploitation ou de l'architecture de la machine pour fonctionner, comme Java~\cite{JavaTechnique2024}, Python~\cite{PythonLangage2025} ou Ruby~\cite{Ruby2025}. Par contre, son principal désavantage est son absence de flexibilité directement impliquée par sa grande robustesse. De plus, cette approche est souvent plus lourde sur les performances~\cite{pereiraEnergyEfficiencyProgramming2017} et sur l'écriture du programme.
+
+	Mais, concrètement, quelle est l'essence POO~?
+
+	Dans une application construite à l'aide la POO, toutes les choses sont représentées à l'aide d'objets, que ça soit la fenêtre de l'application, le texte qui s'affiche ou les boutons sur lesquels l'utilisateur peut appuyer. Ces objets sont définis à l'avance par le développeur~: l'objet représentant un texte devra posséder le texte à afficher et l'objet «~bouton~» devra savoir quelle action effectuée si l'utilisateur clique dessus. Ces définitions ne sont pas particulières~: elles sont générales. Elles doivent contenir toutes les représentations possibles des choses utilisant l'objet~\cite{ProgrammationOrienteeObjet2025}. Ce concept est l'équivalent des Idées chez Platon. En effet, l'Idée de bouton est immuable et sert à définir le bouton, ce qui s'apparente totalement au rôle de l'objet dans la POO. 
+
+	Pour utiliser un objet, on crée une instance de ce dernier. Cette instance est particulière et unique~: elle possède ses propres caractéristiques découlant de l'objet. Par exemple, une instance de l'objet «~bouton~» possède sa propre action à exécuter quand l'utilisateur clique dessus~\cite{ProgrammationOrienteeObjet2025}. Le lien entre l'instance et l'objet est le même que celui entre le sensible et l'intelligible. L'objet est l'Idée et une instance particulière d'un objet est un objet sensible avec lequel nous pouvons rentrer en contact numériquement. Cette vision est aussi confirmée par l'interaction de l'utilisateur avec le programme~: ce dernier n’interagit numériquement qu'avec des instances d'objet (on ne peut pas interagir numériquement avec un objet, sinon cela reviendrait à interagir numériquement avec une définition, ce qui n'a pas de sens), comme nous qui ne pouvons interagir qu'avec des objets sensibles dans notre monde sensible.
+
+	La POO facilite la création d'objet à l'aide de l'héritage, c'est-à-dire qu'un objet peut hériter les propriétés d'un autre. On peut ainsi créer l'objet «~texte avec un lien~» en héritant les propriétés de l'objet «~texte~» et en lui rajoutant la fonctionnalité permettant de cliquer. Cet héritage permet d'éviter de se répéter~: on ne réexplique pas deux fois ce qu'est un texte, on indique juste à l'ordinateur de regarder comment fonctionne l'objet «~texte~» et d'appliquer la même logique pour le nouvel objet~\cite{ProgrammationOrienteeObjet2025}. L'équivalent de l'héritage dans le monde intelligible serait, par exemple, de donner l'Idée de «~lit~» puis d'en tirer l'idée de «~lit double~». On aurait ainsi que les liens entre «~texte~» et «~texte avec un lien~» et entre «~lit~» et «~lit double~» est similaire.
+
+	Pour résumer, la programmation orienté objet est une approche particulière de la programmation résolvant les problèmes à l'aide de la construction d'objet. Il s'agit d'un analogue à l'Idée platonicienne dans son rôle~: ce dernier sert la définition et n'est pas directement accessible à l'utilisateur. L'instance de cet objet est la représentation numérique singulière de l'objet~: elle est définie par l'objet, mais possède ses propres particularités accidentelles. Elle est l'analogue de l'objet sensible de la théorie des Idées puisqu'elle est définie par l'objet et que l'utilisateur interagit numériquement avec. Il existe aussi un système d'héritage entre les différents objets pour éviter de répéter des principes. Ce système ressemble au lien entre les Idées de «~lit~» et de «~lit double~».
+
+	\newpage
+	\section{Conclusion}
+	La théorie des Idées est la théorie métaphysique centrale dans la pensée de Platon. C'est à l'aide de cette dernière qu'il peut justifier toute sa philosophie~: degrés de connaissance, utilité de l'âme et réminiscence découlent des Idées. Ces concepts supplémentaires n'ont, à mes yeux, aucune équivalence en POO, ou plus généralement en programmation. Cette analogie est donc limitée à la théorie des Idées seule, ce qui est contrintuitif quand on connait l'importance des autres théories platoniciennes dans sa métaphysique.
+
+	De plus, cette analogie reste une forme de vulgarisation de la POO, sans jamais rentrer dans les détails de son fonctionnement intrinsèque. Elle parait donc difficilement utilisable pour apprendre à développer.
+
+	Par contre, elle ne se limite pas à un simple but éducatif. La POO peut véritablement être vue comme une manière de définir un nouveau monde intelligible numérique (tous les états possibles du sensible de ce monde sont représentés par des objets de son intelligible), ce que je trouve philosophiquement très intéressant.
+	
+	\newpage
+	\bibliographystyle{unsrt}
+	\bibliography{biblio}
+\end{document}
author	Anhgelus Morhtuuzh <william@herges.fr>	2025-09-09 08:44:06 +0200
committer	Anhgelus Morhtuuzh <william@herges.fr>	2025-09-09 08:44:06 +0200
commit	53eb16d66931e56c6682059074dbe76c13ada4e0 (patch)
tree	a076877bed9d5970254d59fcb8515382ec9fef5b /semestre 2
parent	fe1f28749752b6b197ff8e393a999c8f4549f074 (diff)