23 files changed, 903 insertions, 23 deletions

diff --git a/semestre 2/are/Plan détaillé.md b/semestre 2/are/Plan détaillé.md
new file mode 100644
index 0000000..70f83a9
--- /dev/null
+++ b/semestre 2/are/Plan détaillé.md
@@ -0,0 +1,98 @@
+---
+tags:
+  - sorbonne
+  - are
+semestre: 2
+---
+### Sujet : **Pouvons-nous parler de conscience artificielle pour l'IA ?**
+Découpage simple :
+- Introduction
+- Développement
+- Conclusion
+
+**Introduction** sert à problématiser le sujet, à justifier son existence
+|> pose une première pierre de définition 
+|> donne les deux visions opposées autour de la conscience de l'IA
+|> expose le plan, notre démarche et notre méthode
+
+**Développement** explore le sujet
+|> essaye de répondre
+|> approfondit le travail de définition de l'introduction
+|> ne doit *pas* ouvrir le sujet : se concentre uniquement sur le sujet
+
+**Conclusion** rappelle notre travail et répond
+|> pourquoi parle-t-on de ça ?
+|> quelles sont les problèmes ?
+|> quelles sont les réponses ?
+## Introduction
+Conscience ?
+|> faculté permettant d'avoir connaissance de sa propre existence
+|> capacité à avoir des connaissances sur les choses
+-> ces définitions font appels à la subjectivité de la chose étudiée
+|> compliqué de trancher à cause de la chose considérée comme sujet et non comme objet
+
+Artificielle ?
+|> ce qui a été modifiée par l'humain
+|> tout l'écosystème a été modifié par l'humain (réchauffement climatique)
+-> besoin de définir le degré de modification
+|> est aussi une chose non essentielle : l'objet artificielle est un artifice pas nécessaire
+
+IA ?
+|> machine intelligente
+|> comment définir l'intelligence ?
+|> besoin de la conscience pour parler d'intelligence
+-> pas suffisant car notre conception de l'IA évolue avec le temps
+|> définition technique : algorithme de *machine learning*
+
+Conscience artificielle semble être adaptée pour l'IA
+|> impression de conscience, mais c'est une illusion construite par la technique
+|> fonctionne bien avec la notion de *machine learning*
+|> mais est-ce que la notion de conscience artificielle possède-t-elle un véritable sens ?
+
+Conscience morale
+|> conscience signifie en ancien français conscience morale
+|> est une forme de prérequis pour établir la conscience (conscience de soi et d'autrui)
+-> IA a-t-elle une conscience morale ?
+|> non, car même après une phase d'apprentissage, elle continue à être immoral sur des questions morales évidentes (donner des instructions pour construire une bombe)
+|> phase d'apprentissage est comparable à notre éducation (==à justifier dans développement==), mais n'est pas suffisante pour créer (ou faire ressortir) une conscience morale
+-> les actions des IA ne permettent pas de parler de conscience morale
+## Technique derrière une IA
+Ici, IA = algorithme de *machine learning*
+
+*machine learning*, *deep learning*, 7 milliards de paramètre, qu'est-ce que ça veut dire ?
+|> théorie mathématique derrière (algèbre linéaire)
+|> théorie informatique derrière (réseaux de neurones)
+|> mise en pratique (data set, entrainement)
+|> défis techniques (alignement, efficacité)
+
+Comment une IA répond-elle à un problème ?
+|> que ce problème soit génératif (GPT, Midjourney) ou non (algorithmes de recommandation)
+|> récolte des données (entrées par l'utilisateur ou non)
+|> approche probabiliste (statistiques, aléatoire)
+|> raisonnement intérieur
+-> IA ne réfléchit pas d'une manière causale, elle regarde des probabilités
+
+> [!NOTE] IA ou algorithme ?
+> Bien que les IA génératives et les algorithmes de recommandation sont tous les deux des algorithmes de machine learning, nous n'appelons pas le deuxième IA. Cette différence montre une fausse impression de contrôle (==à justifier==) sur les IA de recommandation : on pourrait beaucoup plus simplement les maîtriser
+
+Expérience de pensée dite *La chambre chinoise* sur notre notion de conscience
+|> fonctionne très bien pour l'IA
+-> des statistiques et des probabilités peuvent-elles créées une forme de conscience ?
+## La notion de conscience artificielle
+Conscience de groupes, conscience animale, IA -> exemples de conscience artificielle ?
+
+Caillou du désert qui se déplace tout seul
+
+conscience artificielle = créé par l'humain + artifice de conscience (« fausse conscience »)
+## Application à l'IA et limites
+Besoin de faire attention à l'anthropisation de l'IA
+
+Ce que ça explique bien :
+1. IA qui trompe à ses créateurs
+2. Problème de l'alignement
+
+Ce que ça limite :
+1. Fausse notre relation
+2. La régulation de l'IA
+3. Qui parlera de conscience pour les algorithmes de recommandation
+## Conclusion
\ No newline at end of file
diff --git a/semestre 2/are/Plan détaillé.pdf b/semestre 2/are/Plan détaillé.pdf
new file mode 100644
index 0000000..eb57cc4
--- /dev/null
+++ b/semestre 2/are/Plan détaillé.pdf
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 16a05b1..23792a9 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
@@ -141,4 +141,74 @@ Les organes sont des outils permettant à l'âme de percevoir
 Si la sensation ne peut pas saisir l'être, elle ne peut pas atteindre la vérité
 |> atteindre la vérité est nécessaire pour le savoir
 -> sentir n'est pas savoir et le savoir ne dépend pas de la sensation
-|> besoin de porter des jugements abstraits ou généraux, sont ceux d'une âme pensante
\ No newline at end of file
+|> besoin de porter des jugements abstraits ou généraux, sont ceux d'une âme pensante
+
+---
+
+La sensation ne suffit pas pour avoir accès à la connaissance
+|> nous n'avons accès qu'à des qualités sensibles
+
+La réalité ne se réduit pas au domaine sensible
+|> il existe le domaine des caractéristiques formelles par exemple
+
+Platon, _Phédon_ = thème est la mort de Socrate
+|> l'âme est-elle immortelle ?
+
+Socrate font partie de la différence entre l'âme et le corps
+|> le corps est un obstacle à la pensée -> les sens empêchent la pensée rationnelle
+|> car il n'y a pas d'exactitude et de clarté via le corps, donc pas de vérité -> un savoir est précis et est clair (NDLR, ressemble beaucoup à Descartes)
+
+Quel est l'objet du savoir ?
+|> le juste, le beau, le bon (on appelle ça des valeurs)
+|> la force, la santé...
+
+L'essence de X = le X en soi
+|> peuvent être compris à l'aide de leur contraire
+|> en soi est indépendant de la relativité
+|> essence n'est pas l'accident (ce qui est présent et ne la définit pas)
+-> permet de définir une multitude de chose en même temps
+|> cet objet n'est jamais vu
+
+Ces choses en soi sont les Idées/Formes
+-> sont les objets de la connaissance
+
+Comment peut-on connaître quoi que ce soit tant que le corps existe ?
+|> comment passer du sensible aux essences ?
+
+S'il n'y a pas de connaissance possible -> sceptique
+On peut accepter une connaissance approximative (qui est probable)
+On peut connaître véritablement par la pensée seule
+|> comment est-il possible d'activer sa pensée seule sans tenir compte de notre relation au sensible ?
+-> double obstacle du corps (se détacher du sensible et nous n'avons pas accès à autre chose que les corps)
+
+Pour accéder à la vérité, on doit mourir
+|> l'âme est débarrassé du corps
+-> n'est pas retenu car pose *quelques* problèmes
+|> rien ne nous assure l'immortalité de l'âme
+|> si l'âme est immortel, rien nous assure qu'elle peut penser après la mort
+
+Deuxième option : et si l'âme n'a pas existé avant l'incarnation du corps ?
+|> apprendre c'est se rappeler
+|> ne consiste pas dans l'acquisition d'un nouveau savoir mais dans la réminiscence ->savoir acquis avant mais oublier
+|> personne ne confond un homme et une lyre, mais on peut associer une lyre à un homme (association d'idée provoque chez nous un souvenir absent)
+|> existe aussi avec proximité spatiale ou temporel, par ressemblance, etc. (cf Hume)
+-> on peut donc passer d'un mode d'appréciation à un autre
+
+<|OvO|> <--- ceci est un wazo
+
+Quand à partir de la perception d'un objet, on se souvient à un objet semblable, on ne peut s'empêcher de penser qu'il manque quelque chose à l'objet évocateur
+|> pour constater que deux choses sont égales, on a besoin du concept d'égalité
+|> les choses constatées comme égales n'apparaissent pas forcément comme telles
+|> égalité est relative à un paramètre contingent -> est imparfaite
+|> on le sait car on sait ce qu'est qu'une égalité (ou une intuition)
+|> cette possession ne peut pas s'être produite par la sensation
+-> on possède une idée de l'ordre de l'intelligible
+
+Corps et les sens, même s'il ne nous donne pas accès à l'essence, ils ne sont pas incompatibles à l'activité de pensée
+|> donnent l'occasion à la pensée de mener une activité de pensée tournée vers la connaissance des essences
+-> sensible est imparfait et constatation implique la connaissance de la perfection qu'il lui manque, mais aussi des valeurs
+
+Sensation / pensée
+|> sensation est imparfaite, joue le rôle de copie
+|> pensée est parfaite, joue le rôle de modèle
+-> en prenant conscience de la contingence du sensible, on accède au domaine supérieur
\ No newline at end of file
diff --git a/semestre 2/histoire de la philo antique/td/0- Introduction.md b/semestre 2/histoire de la philo antique/td/0- Introduction.md
index 95fda46..871193e 100644
--- a/semestre 2/histoire de la philo antique/td/0- Introduction.md
+++ b/semestre 2/histoire de la philo antique/td/0- Introduction.md
@@ -11,6 +11,8 @@ DS 10/03 et 05/05
 |> traduction de N. Cordero (GF) ou de L. Monge (Livre de Poche)
 |> est une sorte de deuxième apologie de Platon
 
+Hadot, _Qu'est-ce que la philosophie antique ?_ -> très bonne introduction
+
 Sophiste est un simulacre du philosophe, c'est une image
 |> une image peut aussi être une copie
 
@@ -48,7 +50,7 @@ _Poème_ de Diels-Kranz contient les textes importants des pré-socratiques
 
 L'Étranger est aussi un éléate, mais est *heteron* (différent)
 |> possède les mêmes concepts mais est différent
-|> est pensé comme un dieu de la réfutation (theos elegktikos) par Socrate
+|> est pensé comme un dieu de la réfutation (*theos elegktikos*) par Socrate
 |> attribue ce côté divin au côté philosophe
 -> ressemble au sophiste, à un noble sophiste (Socrate)
 |> mais présente pourtant comme un philosophe (Théodore)
@@ -61,7 +63,7 @@ Trois types de philosophe (Socrate)
 
 Hubris = démesure
 
-C'est parce que la foule ignore qu'il y a trois types de philosophe -> ils switchent entre ces trois versions en fonction de ce que la foule veut
+C'est parce que la foule ignore qu'il y a trois types de philosophe -> ils alternent entre ces trois versions en fonction de ce que la foule veut
 |> ces images ne sont pas identiques (elles dépendent de ce qu'est la foule)
 |> politique = ceux qui se trompent sur la valeur des valeurs
 |> sophisme = ceux qui se font abuser
@@ -71,7 +73,7 @@ C'est parce que la foule ignore qu'il y a trois types de philosophe -> ils switc
 |> opinion <=> jugement de valeurs
 |> la foule ne connait que le nom (apparaît), pas la chose (est)
 
-Quand Socrate parle, il parle à propos de la chose et non de l'image
+Socrate parle de la chose et non de l'image
 |> c'est pour ça qu'il ne parle pas dans ce dialogue
 
 L'Étranger parle surtout de la chose
diff --git a/semestre 2/histoire de la philo antique/td/1- Première section.md b/semestre 2/histoire de la philo antique/td/1- Première section.md
index 832d24c..ab43904 100644
--- a/semestre 2/histoire de la philo antique/td/1- Première section.md
+++ b/semestre 2/histoire de la philo antique/td/1- Première section.md
@@ -57,7 +57,7 @@ Toute pratique est le résultat d'une action
 |> besoin de s'accorder sur ce dialogue
 |> chose trouve sa réalité dans l'instrument auquel elle est liée
 -> besoin de respecter l'action nommée quand on définit le nom et son être
-|> nom sert une fonction, un acte (fonction diacritique)
+|> nom sert une fonction, un acte propre (fonction diacritique)
 |> nom sert aussi une didactique
 -> forme du nom rejoint sa fonction (_Cratyle_)
 
@@ -71,5 +71,64 @@ Toute pratique est le résultat d'une action
 > Possède un sens bien différent !
 > |> chose permettant de faire voir
 > |> est aussi bien un exemple qu'un modèle
+#### Après le texte
+Pourquoi parler du pêcheur à la ligne pour s'exercer ?
+|> est un chasseur, comme le sophiste
+|> compte sur la stupidité de la proie, comme le sophiste
+|> activité neutre axiologiquement (226b)
+-> ressemble au sophiste, mais est beaucoup moins prétentieuse
 
+Platon, _Timée_, 92b
+|> quatrième espèce (poisson) est celle qui est tombée au plus bas de l'ignorance
+|> poisson croit que la surface de la mer est un ciel (_Phèdre_, 109d)
+-> plus généralement, parle de la réincarnation de l'âme
 
+> [!info] Méthode en grec antique
+> est le chemin à suivre, mais avec des choses bloquant la route (les problèmes)
+
+Méthode de la définition : division dichotomique
+|> quel genre ?
+|> quelle différence ?
+|> quel nom ?
+|> où est la cible ?
+
+Application de la méthode à la pêche à la ligne
+```mermaid
+flowchart TB
+ A[art, technique] --> B1[art de production]
+ A --> B2[art d'acquisition]
+ B2 --> C1[échange consenti]
+ B2 --> C2[art de la mainmise par des actes ou des paroles]
+ C2 --> D1[lutte]
+ C2 --> D2[capture]
+ D2 --> E1[capture des inanimés]
+ D2 --> E2[chasse]
+ E2 --> F1[chasse aux animaux marcheurs]
+ E2 --> F2[chasse aux animaux des milieux humides]
+ F2 --> G1[chasse des animaux aquatiques]
+ F2 --> G2[pêche]
+ G2 --> H1[capture par cloture]
+ G2 --> H2[capture à la frappe]
+ H2 --> I1[chasse au feu]
+ H2 --> I2[pêche à l'hameçon]
+ I2 --> J1[pêche au trident]
+ I2 --> J2[[pêche à la ligne]]
+```
+
+> [!note] Critique par Aristote
+> _Parties des animaux_, I, 2-4 et _Premiers analytiques_, I, 31
+> 
+> Absence de classification : répétition, addition de différences, conjonctions, division est faite par accident
+> |> pas de vision organique
+> 
+> Non heuristique = présuppose la nature de ce qui est divisé
+> 
+> Non démonstratif = ne démontre absolument rien
+
+Maintenant, on peut appliquer la méthode au sophiste
+|> donne les six premières définitions du sophiste
+|> ces définitions donnent chacune un aspect du sophiste
+-> il manque systématiquement le point focal liant toutes ses définitions
+
+La dichotomie entre offrir des présents et chercher un salaire dans la première définition du sophisme montre que le philosophe n'est pas désintéressé
+|> Socrate se cache dans "offrir des présents" (_Le Banquet_)
\ No newline at end of file
diff --git a/semestre 2/informatique/6- récursion.md b/semestre 2/informatique/6- Récursion.md
index 7ce5af6..7ce5af6 100644
--- a/semestre 2/informatique/6- récursion.md
+++ b/semestre 2/informatique/6- Récursion.md
diff --git a/semestre 2/informatique/7- Structure (ou enregistrement).md b/semestre 2/informatique/7- Structure (ou enregistrement).md
new file mode 100644
index 0000000..d06d805
--- /dev/null
+++ b/semestre 2/informatique/7- Structure (ou enregistrement).md
@@ -0,0 +1,91 @@
+---
+tags:
+  - sorbonne
+  - informatique
+semestre: 2
+---
+Pour organiser les données, on utilise `struct`
+```c
+struct s_int_pair {
+	int fst;
+	int snd;
+}; // vraiment utile le ; ?
+```
+Est toujours au début du fichier `.c` ou dans le `.h` si elle est utilisée par plusieurs fichiers
+|> possède deux champs nommés `fst` et `snd`
+
+Les fichiers headers (`.h`) spécifient les interfaces utilisables par l'extérieur du fichier C
+|> contient les struct publics, les functions publiques...
+|> ne contient pas tout ce qui est privé
+
+Pour qu'une variable utilise un struct, on écrit
+```c
+struct s_int_pair point;
+```
+sauf que c'est long à écrire, donc on renomme tout ça avec un `typedef` :
+```c
+typedef struct s_int_pair int_pair;
+int main(){
+	int_pair point; 
+	return 0;
+}
+```
+on peut aussi tout définir d'un coup
+```c
+typedef struct s_int_pair{
+	int fst;
+	int snd;
+} int_pair;
+```
+
+> [!NOTE] Nom de la structure et nom du type associé
+> Souvent, on nomme `_ABC` le nom de la structure et `ABC` le nom du type associé
+> |> permet d'avoir un nom similaire mais différent
+> |> est une convention
+
+Pour initialiser un struct, on utilise les parenthèses
+```c
+int_pair p = {1,2}; // initialisation séquentielle
+int_pair p2 = {.snd=3, .fst=4}; // initialisation sélective
+```
+la première est traditionnelle et est commune
+
+Pour modifier les valeurs dans un struct, on accède aux champs avec l'opérateur `.` :
+```c
+p.fst = -1;
+p.snd = -2;
+
+p = p2; // copie la structure p2 dans p
+```
+
+*voir le cours pour la représentation dans le stack*
+
+Quand on définit une structure, on peut perdre de la mémoire, notamment si on utilise pas tout un octet
+
+Structures et fonctions
+|> on peut retourner des structures depuis des fonctions sans aucun problème (pas besoin de faire un `malloc`)
+|> il n'y a pas d'effet de bord quand on utilise des structures dans une fonctions -> on a besoin d'utiliser un pointeur pour en réaliser un
+
+Il n'existe pas d'arithmétique des structures
+
+On peut chaîner les structures, i.e.
+```c
+struct _cell {
+	int v;
+	struct cell* next;
+}
+```
+(ce qui donne une liste chaînée)
+
+L'opérateur `->` est un raccourcie permettant le déférencement rapide
+```c
+Foo *foo;
+
+foo->bar = 10;
+// est équivalent à
+(*foo).bar = 10;
+
+foo->baz();
+// est équivalent à
+(*foo).baz();
+```
diff --git a/semestre 2/informatique/td/5- chaînes de caractère.md b/semestre 2/informatique/td/5- chaînes de caractère.md
index 0587412..8bea089 100644
--- a/semestre 2/informatique/td/5- chaînes de caractère.md
+++ b/semestre 2/informatique/td/5- chaînes de caractère.md
@@ -28,14 +28,7 @@ int int_to_str(int val){
 	for (i = 1; tmp_val % 10 != tmp_val; i++) tmp_val /= 10;
 	char *str = malloc(sizeof(char) * (i+1)); // +1 car on n'oublie pas le '\0'
 	str[i] = '\0'; // on rajoute de suite le '\0'
-	for (int j = 0; j <= i; j++) {
-		int c = val % pow(10, j);
-		val -= c;
-		str[j] = c + 48;
-	}
+	for (int j = 0; j < i; j++) str[j-1] = val % pow(10, j) + 48;
 	return str;
 }
 ```
-
-On ne peut pas écrire `int arr[][];` !
-|> on doit forcément indiquer la taille des sous-tableaux, e.g. `int arr[][5];`
diff --git a/semestre 2/informatique/td/6- récursivité.md b/semestre 2/informatique/td/6- récursivité.md
new file mode 100644
index 0000000..94124e3
--- /dev/null
+++ b/semestre 2/informatique/td/6- récursivité.md
@@ -0,0 +1,25 @@
+---
+tags:
+  - sorbonne
+  - informatique
+  - td
+semestre: 2
+---
+Fonction récursive pour trouver si deux chaînes sont égales
+```c
+int str_equal(char *s1, char *s2){
+	int b = *s1 != *s2;
+	if (b || *s1 == '\0') return !b;
+	return str_equal(s1+1, s2+1);
+}
+```
+
+Recherche par dichotomie :
+```c
+int dichotomie(int *a, int e, int taille){
+	if (taille <= 0) return -1;
+	int m = (start+end) / 2;
+	if (a[m] == e) return m;
+	return dichotomie(e > a[m] ? tab+m+1 : tab, e, taille-m-1);
+}
+```
diff --git a/semestre 2/informatique/tme/semaine5/27_comptage_mots.c b/semestre 2/informatique/tme/semaine5/27_comptage_mots.c
new file mode 100644
index 0000000..7ea19e7
--- /dev/null
+++ b/semestre 2/informatique/tme/semaine5/27_comptage_mots.c
@@ -0,0 +1,19 @@
+#include <stdio.h>
+
+int compte_mots(char *s){
+	int i = 0;
+	int cnt = 0;
+	int counted = 0;
+	while (s[i] != '\0'){
+		if (s[i] != ' ' && !counted) {
+			cnt++;
+			counted = 1;
+		} else if (s[i] == ' ') counted = 0;
+		i++;
+	}
+	return cnt;
+}
+
+int main() {
+	printf("%d", compte_mots("  bonjour   je  suis un mot   "));
+}
diff --git a/semestre 2/informatique/tme/semaine5/28_participation_frais.c b/semestre 2/informatique/tme/semaine5/28_participation_frais.c
new file mode 100644
index 0000000..e5aff0d
--- /dev/null
+++ b/semestre 2/informatique/tme/semaine5/28_participation_frais.c
@@ -0,0 +1,52 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include <time.h>
+#define NB_AMIS 4
+#define NB_JOURS 7
+
+void init_tab(float tab[NB_AMIS][NB_JOURS]){
+	for (int i = 0; i < NB_AMIS; i++) {
+		for (int j = 0; j < NB_JOURS; j++) tab[i][j] = 0;
+	}
+}
+
+void random_tab(float tab[NB_AMIS][NB_JOURS], int j) {
+	int a = rand()%NB_AMIS;
+	int v = rand()%21+30;
+	tab[a][j] = v;
+	for (int i = 0; i < NB_AMIS; i++) {
+		if (i != a) tab[i][j] = (float) v/(-NB_AMIS+1);
+	}
+}
+
+void show_tab(float tab[NB_AMIS][NB_JOURS]){
+	printf("Jour/Ami||\t");
+	for (int i = 0; i < NB_AMIS; i++) printf("%d\t|\t", i+1);
+	printf("\n");
+	for (int i = 0; i < NB_AMIS*18; i++) printf("-");
+	printf("\n");
+	for (int j = 0; j < NB_JOURS;j++){
+		for (int i = 0; i < NB_AMIS; i++) {
+			if (i == 0) printf("%d\t||\t", j+1);
+			printf("%.2f\t|\t", tab[i][j]);
+			if (i == NB_AMIS-1) printf("\n");
+		}	
+	}
+}
+
+void show_solde(float tab[NB_AMIS][NB_JOURS], int a){
+	float s = 0;
+	for (int j = 0; j < NB_JOURS; j++) s += tab[a][j];
+	printf("Ami %d a pour solde %.02f\n", a, s);
+}
+
+int main() {
+	float tab[NB_AMIS][NB_JOURS] = {};
+	srand(time(NULL));
+	init_tab(tab);
+	for (int d = 0; d < NB_JOURS; d++)	random_tab(tab, d);
+	show_tab(tab);
+	for (int i = 0; i < NB_AMIS; i++) show_solde(tab, i);
+	return 0;
+}
+
diff --git a/semestre 2/informatique/tme/semaine5/29_filtre.c b/semestre 2/informatique/tme/semaine5/29_filtre.c
new file mode 100644
index 0000000..37a5625
--- /dev/null
+++ b/semestre 2/informatique/tme/semaine5/29_filtre.c
@@ -0,0 +1,25 @@
+#include <stdio.h>
+#include <string.h>
+#include <stdlib.h>
+
+void show_filtre(char *s){
+	for (int i = 0; s[i] != '\0'; i++) {
+		if (s[i] >= 'A' && s[i] <= 'z') printf("%c", s[i]);
+	}
+}
+
+char *filtre(char *s) {
+	char *ns = malloc(sizeof(char) * strlen(s));
+	int j = 0;
+	for (int i = 0; s[i] != '\0'; i++){
+		if (s[i] >= 'A' && s[i] <= 'z') ns[j++] = s[i];
+	}
+	return ns;
+}
+
+int main() {
+	char *s = "Hello World! What's up guys?";
+	show_filtre(s);
+	printf("\n%s\n", filtre(s));
+	return 0;
+}
diff --git a/semestre 2/informatique/tme/semaine5/30_compression.c b/semestre 2/informatique/tme/semaine5/30_compression.c
new file mode 100644
index 0000000..161cd00
--- /dev/null
+++ b/semestre 2/informatique/tme/semaine5/30_compression.c
@@ -0,0 +1,64 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include <time.h>
+#define MIN 2
+#define MAX 15
+
+int init_tab(int tab[MAX+1]) {
+	int size = rand()%(MAX-MIN+1)+MIN;
+	for (int i = 0; i < size; i++) {
+		tab[i] = rand()%2;
+	}
+	tab[size] = -1;
+	return size;
+}
+
+void compress_tab(int tab_brut[], int tab_compress[]){
+	int j = 0;
+	int last = -1;
+	int cnt = 0;
+	for (int i = 0; tab_brut[i] != -1; i++) {
+		if (last == -1 || tab_brut[i] != last) {
+			if (last != -1) {
+				int id = j++;
+				tab_compress[id*2] = cnt;
+				tab_compress[id*2+1] = last;
+			}
+			last = tab_brut[i];
+			cnt = 0;
+		}
+		cnt++;
+	}
+	if (last != -1) {
+		int id = j++;
+		tab_compress[id*2] = cnt;
+		tab_compress[id*2+1] = last;
+	}
+	tab_compress[j*2] = -1;
+}
+
+int compare(int tab_brut[], int tab_compress[]){
+	int j = 0;
+	for (int i = 0; tab_compress[i] != -1; i += 2) {
+		int n = tab_compress[i];
+		int v = tab_compress[i+1];
+		for (int cnt = 0; cnt < n; cnt++) {
+			if (tab_brut[j++] != v) return 0;
+		}
+	}
+	return 1;
+}
+
+int main(){
+	srand(time(NULL));
+	int tab[MAX+1] = {};
+	int tab_compress[MAX+1] = {};
+	init_tab(tab);
+	compress_tab(tab, tab_compress);
+	for (int i = 0; tab[i] != -1; i++) printf("%d, ", tab[i]);
+	printf("\n");
+	for (int i = 0; tab_compress[i] != -1; i += 2) printf("%d:%d, ", tab_compress[i], tab_compress[i+1]);
+	printf("\n");
+	printf("%s", compare(tab, tab_compress) ? "True" : "False");
+	return 0;
+}
diff --git a/semestre 2/informatique/tme/semaine5/31_image_mystere.c b/semestre 2/informatique/tme/semaine5/31_image_mystere.c
new file mode 100644
index 0000000..51ca321
--- /dev/null
+++ b/semestre 2/informatique/tme/semaine5/31_image_mystere.c
@@ -0,0 +1,29 @@
+#include <stdio.h>
+#include <stdlib.h>
+#include <time.h>
+
+void calcule_borne_sup(int *tab, int taille){
+	int dec = -1;
+	for (int i = 0; i < taille; i++) {
+		tab[i] += dec;
+		dec = tab[i];
+	}
+}
+
+int tire_non_equi(int *tab, int taille){
+	int tire = rand()%100;
+	int i;
+	for (i = taille -1; tab[i] > tire; i--);
+	printf("%d - %d <= %d\n", i, tab[i], tire);
+	return i;
+}
+
+int main() {
+	srand(time(NULL));
+	int tab[] = {17, 28, 50, 5};
+	calcule_borne_sup(tab, 4);
+	for (int i = 0; i < 4; i++) printf("%d, ", tab[i]);
+	printf("\n");
+	printf("%d", tire_non_equi(tab, 4));
+	return 0;
+}
diff --git a/semestre 2/maths/td/03-06.pdf b/semestre 2/maths/td/03-06.pdf
new file mode 100644
index 0000000..e535aa9
--- /dev/null
+++ b/semestre 2/maths/td/03-06.pdf
diff --git a/semestre 2/maths/td/03-06.tex b/semestre 2/maths/td/03-06.tex
new file mode 100644
index 0000000..d4d7c88
--- /dev/null
+++ b/semestre 2/maths/td/03-06.tex
@@ -0,0 +1,202 @@
+%%=====================================================================================
+%%
+%%       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]{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{parskip}
+\usepackage{titlesec}
+% \usepackage{inter}
+
+\renewcommand{\familydefault}{\sfdefault}
+% \renewcommand{\familydefault}{\sffamily}
+
+% 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
+
+\colorlet{defn-color}{DarkBlue}
+\colorlet{props-color}{Blue}
+\colorlet{warn-color}{Red}
+\colorlet{exemple-color}{Green}
+\colorlet{corol-color}{Orange}
+\newenvironment{defn-leftbar}{%
+  \def\FrameCommand{{\color{defn-color}\vrule width 3pt} \hspace{10pt}}%
+  \MakeFramed {\advance\hsize-\width \FrameRestore}}%
+ {\endMakeFramed}
+\newenvironment{warn-leftbar}{%
+  \def\FrameCommand{{\color{warn-color}\vrule width 3pt} \hspace{10pt}}%
+  \MakeFramed {\advance\hsize-\width \FrameRestore}}%
+ {\endMakeFramed}
+\newenvironment{exemple-leftbar}{%
+  \def\FrameCommand{{\color{exemple-color}\vrule width 3pt} \hspace{10pt}}%
+  \MakeFramed {\advance\hsize-\width \FrameRestore}}%
+ {\endMakeFramed}
+\newenvironment{props-leftbar}{%
+  \def\FrameCommand{{\color{props-color}\vrule width 3pt} \hspace{10pt}}%
+  \MakeFramed {\advance\hsize-\width \FrameRestore}}%
+ {\endMakeFramed}
+\newenvironment{corol-leftbar}{%
+  \def\FrameCommand{{\color{corol-color}\vrule width 3pt} \hspace{10pt}}%
+  \MakeFramed {\advance\hsize-\width \FrameRestore}}%
+ {\endMakeFramed}
+
+\def \freespace {1em}
+\declaretheoremstyle[headfont=\sffamily\bfseries,%
+ notefont=\sffamily\bfseries,%
+ notebraces={}{},%
+ headpunct=,%
+ bodyfont=\sffamily,%
+ headformat=\color{defn-color}Définition~\NUMBER\hfill\NOTE\smallskip\linebreak,%
+ preheadhook=\vspace{\freespace}\begin{defn-leftbar},%
+ postfoothook=\end{defn-leftbar},%
+]{better-defn}
+\declaretheoremstyle[headfont=\sffamily\bfseries,%
+ notefont=\sffamily\bfseries,%
+ notebraces={}{},%
+ headpunct=,%
+ bodyfont=\sffamily,%
+ headformat=\color{warn-color}Attention\hfill\NOTE\smallskip\linebreak,%
+ preheadhook=\vspace{\freespace}\begin{warn-leftbar},%
+ postfoothook=\end{warn-leftbar},%
+]{better-warn}
+\declaretheoremstyle[headfont=\sffamily\bfseries,%
+ notefont=\sffamily\bfseries,%
+notebraces={}{},%
+headpunct=,%
+ bodyfont=\sffamily,%
+ headformat=\color{exemple-color}Exemple~\NUMBER\hfill\NOTE\smallskip\linebreak,%
+ preheadhook=\vspace{\freespace}\begin{exemple-leftbar},%
+ postfoothook=\end{exemple-leftbar},%
+]{better-exemple}
+\declaretheoremstyle[headfont=\sffamily\bfseries,%
+ notefont=\sffamily\bfseries,%
+ notebraces={}{},%
+ headpunct=,%
+ bodyfont=\sffamily,%
+ headformat=\color{props-color}Proposition~\NUMBER\hfill\NOTE\smallskip\linebreak,%
+ preheadhook=\vspace{\freespace}\begin{props-leftbar},%
+ postfoothook=\end{props-leftbar},%
+]{better-props}
+\declaretheoremstyle[headfont=\sffamily\bfseries,%
+ notefont=\sffamily\bfseries,%
+ notebraces={}{},%
+ headpunct=,%
+ bodyfont=\sffamily,%
+ headformat=\color{props-color}Théorème~\NUMBER\hfill\NOTE\smallskip\linebreak,%
+ preheadhook=\vspace{\freespace}\begin{props-leftbar},%
+ postfoothook=\end{props-leftbar},%
+]{better-thm}
+\declaretheoremstyle[headfont=\sffamily\bfseries,%
+ notefont=\sffamily\bfseries,%
+ notebraces={}{},%
+ headpunct=,%
+ bodyfont=\sffamily,%
+ headformat=\color{corol-color}Corollaire~\NUMBER\hfill\NOTE\smallskip\linebreak,%
+ preheadhook=\vspace{\freespace}\begin{corol-leftbar},%
+ postfoothook=\end{corol-leftbar},%
+]{better-corol}
+
+\declaretheorem[style=better-defn]{defn}
+\declaretheorem[style=better-warn]{warn}
+\declaretheorem[style=better-exemple]{exemple}
+\declaretheorem[style=better-corol]{corol}
+\declaretheorem[style=better-props, numberwithin=defn]{props}
+\declaretheorem[style=better-thm, sibling=props]{thm}
+\newtheorem*{lemme}{Lemme}%[subsection]
+%\newtheorem{props}{Propriétés}[defn]
+
+\newenvironment{system}%
+{\left\lbrace\begin{align}}%
+{\end{align}\right.}
+
+\newenvironment{AQT}{{\fontfamily{qbk}\selectfont AQT}}
+
+\usepackage{LobsterTwo}
+\titleformat{\section}{\newpage\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}}
+
+\title{TD du 6 mars}
+\author{William Hergès\thanks{Sorbonne Université - Faculté des Sciences, Faculté des Lettres}}
+
+\begin{document}
+	\maketitle
+	\section{Feuille du 20 février}
+	\subsection*{Exercice 4}
+	Soient $v_1,v_2$ dans $P$ et $\lambda$ dans $\mathbb{K}$. On a :
+	$$ v_1+\lambda v_2 = x+2y+4z+\lambda x'+\lambda2y'+\lambda4z' = 0 $$
+	car $0+0$ vaut $0$. De plus, $0_P\in P$, donc $P$ est un espace vectoriel.
+
+	On peut écrire $x+2y+4z=0$ comme $x+2y=-4z$. Ainsi, $z$ est lié, donc $P=\mathrm{Vect}\left( \small\begin{pmatrix} 1/4\\0\\0 \end{pmatrix} ,\small\begin{pmatrix} 0\\1/2\\0 \end{pmatrix} \right)$, ce qui est aussi la base de $P$.
+
+	Soient $v_1,v_2$ dans $D$ et $\lambda$ dans $\mathbb{K}$. On a :
+	$$ v_1+\lambda v_2 = \begin{pmatrix} x\\-y\\z \end{pmatrix} + \lambda\begin{pmatrix} x'\\-y'\\z' \end{pmatrix} \land\ldots $$
+	ce qui vaut bien $0$ car $0+0=0$. De plus, $O_D\in D$, donc $D$ est un ev.
+
+	On a :
+	$$ \left\{\begin{matrix} x&-y&+z&=&0\\ x&+y&-z&=&0 \end{matrix} \right.\iff \left\{\begin{matrix} x&-y&=&-z\\ x&+y&=&z \end{matrix} \right. $$
+	En additionnant $L_1$ et $L_2$, on obtient que $x=0$ et donc que $y=z$. Ainsi, $(0,1,1)$ est une base de $D$ et $\mathrm{dim}(D) = 1$.
+
+	\textit{Mutadis mutandis}, $H$ est un ev.
+
+	On a :
+	$$ x+y+z+t=0\iff x+y+z=-t $$
+	Donc $t$ est fixé. Une base de $H$ est $\{(1,0,0),(0,1,0),(0,0,1)\}$ et donc sa dimension vaut 3.
+	\subsection*{Exercice 6}
+	Trouver une équation de l'image signifie, trouver une équation dépendant uniquement des variables de l'image. Par exemple, quand on a un ensemble d'équation avec $x_n'$ dépendant de $(x_n)$ décrivant l'image, une équation de l'image dépendra uniquement de $(x_n')$.
+	\section{Feuille du 6 mars}
+	On a : $(1-\lambda)(3-\lambda)-8 = 0 \iff \lambda^2-4\lambda-5 = 0$.\\
+	$-1$ est une valeur propre (solution évidente).\\
+	$\Delta = 36 = 6^2$, donc $5$ est aussi une solution.
+	
+	Le sous-espace propre lié à $\lambda = 5$ est l'ensemble des $u$ tels que $(A-5I)u = 0$, i.e.
+	$$ \begin{pmatrix} -4&4\\-2&2 \end{pmatrix} u = 0 $$
+	donc, $u\in\{(a,a),a\in\mathbb{R}\}$.
+	
+	Le sous-espace propre lié à $\lambda = -1$ est l'ensemble des $u$ tels que $(A+1I)u = 0$, i.e.
+	$$ \begin{pmatrix} 2&4\\2&4 \end{pmatrix} u = 0 $$
+	donc, $u\in\{(-2a,a),a\in\mathbb{R}\}$.
+
+	Ainsi,
+	$$ \underset{D}{\underbrace{\begin{pmatrix} 5&0\\0&-1 \end{pmatrix}}} = P^{-1}A\underset{P}{\underbrace{\begin{pmatrix} 1&-2\\1&1 \end{pmatrix}}} $$
+	On a aussi que $P^{-1} = \frac{1}{3}\tiny\begin{pmatrix} 1&2\\-1&1 \end{pmatrix} $
+\end{document}
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 31e7c09..d56fc74 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
@@ -79,7 +79,6 @@ Si la nature ne ressemble pas un minimum au passé, alors on ne peut rien connaÃ
 |> très compliqués pour les empiristes
 |> n'y a pas de certitude concernant les théories scientifiques
 ## B. Le falsificationnisme
-### 1. La démarche selon Popper
 Le falsificationnisme est extrêmement lié à Popper
 
 S'oppose au vérificationnisme : ce qui est vrai est ce qui n'est pas faux
@@ -95,7 +94,7 @@ Vérifier un énoncé a bcp de problèmes
 | $H$                      | $\lnot H$                      |
 La vérification est inductive
 La réfutation est déductive
--> est asymétrique, mais les deux utilisent des hypothèses
+-> est asymétrique, mais les deux utilisent des hypothèses similaires
 
 Popper utilise la réfutation car elle permet d'éviter le problème de Hume
 |> critère de démarcation = énoncé est scientifique s'il est falsifiable
@@ -121,4 +120,26 @@ Théorie est meilleure quand :
 
 Popper a une approche compétitive : c'est théorie contre théorie
 
-Rien ne permet de dire qu'une théorie est vraie, ça permet juste d'évoquer la nature d'une théorie
\ No newline at end of file
+Rien ne permet de dire qu'une théorie est vraie, ça permet juste d'évoquer la nature d'une théorie
+## C. Les limites du falsificationnisme
+**1. l'épreuve des faits** = ne résiste pas bien à ce qu'est la science
+|> le critère de démarcation n'est-il pas trop sévère ? -> et les sciences humaines et historiques ?
+
+**2. sauvetage des hypothèses** = si une hypothèse est fausse, souvent on essaye de la sauver -> mauvaise description
+|> est-ce une mauvaise norme ?
+|> 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
+|> un sauvetage est donc toujours possible
+
+**3. hypothèse probabiliste** = casse totalement le falsificationnisme
+|> $P(\text{pile}) =\frac{1}{2}$ empêche les prédictions sur le prochain lancé
+|> ne peut pas être falsifié
+-> falsification « en pratique » a besoin d'utiliser les probas et les stats
+## D. Progrès scientifique
+Falsificationnisme = science avance par essais et erreurs
+|> resistance aux tests empiriques est le plus important (est la « corroboration »)
+-> pourquoi devrait-on choisir une théorie comme celle-là pour progresser ?
+|> pas possible de rejeter une telle préférence sans l'induction
+|> *in fine*, on a besoin de l'induction, donc problème de Hume
\ No newline at end of file
diff --git a/semestre 2/philosophie des sciences/td/3-.md b/semestre 2/philosophie des sciences/td/3- Voir et interpréter.md
index a3cef7a..7c262da 100644
--- a/semestre 2/philosophie des sciences/td/3-.md
+++ b/semestre 2/philosophie des sciences/td/3- Voir et interpréter.md
@@ -7,7 +7,7 @@ tags:
 semestre: 2
 ---
 Tous les humains ne voient pas la même chose (pathologie vs hallucination vs "normal")
-|> tous les êtres humains ne voient pas aussi la même chose (mouche vs chat vs humain)
+|> tous les êtres vivants ne voient pas aussi la même chose (mouche vs chat vs humain)
 
 Mais la vision ne dépend pas que de l'information transmise ou de notre constitution
 |> voir les illusions d'optiques
@@ -38,11 +38,11 @@ L'identification des actions a besoin de l'interprétation
 Besoin de supposer que l'observateur perçoit la scène sans erreur
 Besoin de supposer que le tout est cohérent
 
-> [!note] La science commence par l’observation
-> Faux, car on a besoin de théories pour comprendre ce qu'on observe !
+> [!info] La science *ne* commence *pas* par l’observation
+> On a besoin de théories pour comprendre ce qu'on observe !
 
-> [!NOTE] L'observation est le moyen le plus sûr de fonder une connaissance en raison
-> Faux, l'énoncé d'observation peut être tout aussi imprécis que la théorie qu'il y a derrière
+> [!info] L'observation *n*'est *pas* le moyen le plus sûr de fonder une connaissance en raison
+> L'énoncé d'observation peut être tout aussi imprécis que la théorie qu'il y a derrière
 ## Texte de Hanson
 Exemples donnés cassent le point de vu inductiviste
 
diff --git a/semestre 2/philosophie des sciences/td/4- Le falsificationnisme.md b/semestre 2/philosophie des sciences/td/4- Le falsificationnisme.md
new file mode 100644
index 0000000..56c0353
--- /dev/null
+++ b/semestre 2/philosophie des sciences/td/4- Le falsificationnisme.md
@@ -0,0 +1,40 @@
+---
+tags:
+  - sorbonne
+  - philosophie
+  - philosophie-sciences
+  - td
+semestre: 2
+---
+Textes centraux : _La Logique de la découverte scientifique_ (1934), _Conjectures et réfutations_ (1963)
+
+Popper a fait beaucoup de choses : éducateur en foyer, ébéniste, prof de physique et de maths en lycée, marxiste, thèse en scientificité en psychologie...
+
+Falsificationnisme = réfutationnisme -> ce sont des parfaits synonymes
+
+Différence entre empirisme et falsificationnisme
+|> empirisme fonde les théories via l'expérience
+|> falsificationnisme fonde les théories dans l'esprit et sont vérifiées par l'expérience
+
+Axiomes de l'empirisme :
+- science commence par l'observation
+- observation est ce qu'il y a de plus fiable
+
+Critiques de l'empirisme :
+- illusion de l'absence de théories (cf [[3- Voir et interpréter]])
+- observations sont aussi fragiles que les théories les soutenant (cf [[3- Voir et interpréter]])
+- vérificationnisme n'est pas fondé en raison (cf [[2- Le problème de l'induction]])
+
+Falsificationnisme cherche à montrer qu'une thèse est fausse
+|> s'oppose à l'empirisme
+|> s'oppose au « sens data » (avoir accès au contenu sensible direct, cf la critique dans [[3- Voir et interpréter]])
+
+Plus un énoncé est précis et clair, plus la théorie est meilleure
+## Karl Popper, _La logique de la découverte scientifique_, « La falsifiabilité comme critère de démarcation »
+Rappel la faillibilité de l'empirisme et propose de le dépasser
+|> le passage du descriptif au normatif est impossible
+|> besoin de ne plus être positif -> les théories doivent pouvoir être falsifiées
+-> utilise la logique déductive pour s'assurer de la fiabilité
+
+L. 1 à 19 = présentation
+L. 20 à fin = critique l'objection des *ad hoc* --> les scientifiques ne marchent pas comme ça
\ No newline at end of file
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 b180012..3ed8fbc 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
@@ -125,10 +125,71 @@ La méthode du dialogue est exprimée par Socrate dans _Gorgias_ de Platon
 |> accord après examen fournit la preuve que la vérité a été atteinte (vision consensuelle)
 |> concordance ou confirmation du résultat par les interlocuteurs, puis résultat reproductible
 |> besoin d'avoir une éthique du dialogue -> besoin d'avoir une attitude vertueuse/morale
+=> est totalement opposé à la figure des maîtres du savoir
+|> est une forme d'éthique
 
 Critique de l'*ad populum*
 |> nombre de personnes n'est pas un indice de vérités : ils peuvent quand même se tromper
 |> besoin de l'accord des interlocuteurs, surtout quand ils ne sont pas d'accord au départ
 
 Critique de l'*ad hominem*
-|> transforment le dialogue en dispute
\ No newline at end of file
+|> transforment le dialogue en dispute
+
+Cette vision demande une égalité des interlocuteurs
+|> lien entre vérité et éthique
+-> besoin de veiller au respect de son interlocuteur et certaines règles
+|> n'est pas l'unique forme d'accès à la vérité
+|> mais tous les énoncés est adressé à un interlocuteur et implique la possibilité de l'examen par le lecteur
+
+La vérité est, d'une manière générale, toujours menacée par les passions
+## C. La place de la preuve
+Dans le cadre de la vérité, une vérification n'affirme rien de nouveau
+
+La preuve, elle, montre un progrès dans l'établissement de la vérité
+
+Quand on a l'accord des interlocuteurs et reconnaissance de la méthode, alors une preuve est suffisante pour démontrer la vérité
+|> tout le monde doit être d'accord sur le statut de preuve
+
+Les règles de la démonstration sont thématisés par Aristote dans _Les Topiques_ et _Seconds analytiques_
+|> raisonnement déductif est une formule d'argumentation (discours rationnel) permettant de parvenir à une conclusion d'une manière nécessaire à partir de prémisses posées
+|> si le raisonnement ne découle pas des prémisses, alors c'est un mauvais raisonnement
+
+Dans une démonstration, les prémisses sont des affirmations vraies et premières
+Dans le raisonnement déductif, ce sont des idées admises
+
+Les prémisses sont vraies et premières si elles sont vraies par elle-même
+|> frappent par l'évidence et incontestable
+-> est le cas des premiers principes de la connaissance
+
+Premiers principes de la connaissance
+|> principe de non contradiction -> $A\land\lnot A$ est impossible
+|> principe du tiers exclu -> $A\lor B$ où $B$ exclue $A$ est complète (demain il pleuvra ou il ne pleuvra pas) est toujours vrai
+|> principe d'identité -> $A=A$ est vrai
+-> permettent la connaissance et sont les points de départ
+|> dirigent la marche de la connaissance
+(est inutile de les rappeler)
+
+> [!seealso] _Alice au Pays des merveilles_ de Lewis Caroll
+> Est une suite de problèmes logiques et de ses conséquences
+
+> [!info] AnPo / APo = Seconds analytiques
+> C'est évidemment interdit dans les copies
+
+Connaître scientifique = connaître la cause
+|> permet de comprendre pourquoi une chose est cette chose
+|> existe une liaison nécessaire entre une chose et sa cause
+-> mentionner la cause d'une chose permet la connaissance nécessairement vraie
+
+Une démonstration doit donc mettre en évidence des causes
+
+4 types de cause (Aristote, _Physique_, II) :
+1. cause matérielle -> ce à partir de quoi est faite la chose
+2. cause formelle -> définition de la chose
+3. cause motrice -> ce qui a provoqué l'advenu (ou un changement) de la chose
+4. cause finale -> but / fonction d'une chose
+
+Prémisses doivent être vraies, premières, immédiates, mieux connues que la conclusion, antérieures à la conclusion et causes de la conclusion
+
+Indémontrable = immédiat *ici*
+
+Démonstration reproduit sur le plan du discours ce qu'il se produit sur le plan causal
\ No newline at end of file
diff --git a/semestre 2/philosophie générale/td/1- Platon.md b/semestre 2/philosophie générale/td/1- Platon.md
index 63c1ff4..1487600 100644
--- a/semestre 2/philosophie générale/td/1- Platon.md
+++ b/semestre 2/philosophie générale/td/1- Platon.md
@@ -5,7 +5,7 @@ tags:
   - philosophie-générale
 semestre: 2
 ---
-2 DS = 10/03 et un jour en avril
+2 DS = 17/03 et 28/04
 |> 3/4 questions de cours
 |> question type dissertation avec introduction et le début d'une des 3 parties
 ## Platon, _Ménon_, 80e - 81e
diff --git a/semestre 2/philosophie générale/td/3- Descartes.md b/semestre 2/philosophie générale/td/3- Descartes.md
index 11703d1..1acfe1f 100644
--- a/semestre 2/philosophie générale/td/3- Descartes.md
+++ b/semestre 2/philosophie générale/td/3- Descartes.md
@@ -18,3 +18,20 @@ Montre que l'existence de Dieu est l'une des choses les plus certaines
 Assurance morale / Certitude métaphysique
 |> assurance morale = celle qu'on a besoin pour conduire notre vie de tous les jours
 |> certitude = être sûr à 100%, sinon ce n'est pas fondé, donc ça n'intéresse pas Descartes
+
+Deux idées sont claires quand on ne les confond pas
+Une idée est distincte quand on est capable d'expliquer pourquoi
+
+Perception ne dépend pas de nous : provient de l'objet
+
+Règle d'évidence = ce qui est vrai est clair et distinct
+|> besoin de s'assurer que cette règle fonctionne
+-> besoin de montrer l'existence de Dieu pour tout démontrer
+
+L'erreur ne peut donc pas venir des idées
+|> elles viennent de notre imperfection, de notre finitude et parce que nous avons le droit de nous tromper (Dieu ne peut pas créer l'erreur car elle n'est rien)
+|> volonté est infinie, mais pas l'entendement
+-> on confond les affectes et la clarté de l'évidence
+
+> [!info] La volonté est le libre arbitre chez Descartes
+
diff --git a/semestre 2/philosophie générale/td/4- Pascal.md b/semestre 2/philosophie générale/td/4- Pascal.md
new file mode 100644
index 0000000..c58f386
--- /dev/null
+++ b/semestre 2/philosophie générale/td/4- Pascal.md
@@ -0,0 +1,12 @@
+---
+tags:
+  - sorbonne
+  - philosophie
+  - philosophie-générale
+  - td
+semestre: 2
+---
+*on skip le texte 4, c'est donc le texte 5*
+
+Pascal, _Pensées_ = grand chantier pas fini
+|> est un texte apologétique
\ No newline at end of file