diff --git a/.obsidian/plugins/breadcrumbs/data.json b/.obsidian/plugins/breadcrumbs/data.json
index 5e561a7b..dc23f28d 100644
--- a/.obsidian/plugins/breadcrumbs/data.json
+++ b/.obsidian/plugins/breadcrumbs/data.json
@@ -245,7 +245,7 @@
           "prevs"
         ],
         "lock_view": false,
-        "lock_path": "filtre.md",
+        "lock_path": "base de filtre.md",
         "custom_sort_fields": false,
         "custom_sort_field_labels": []
       },
@@ -254,7 +254,7 @@
         "show_attributes": [],
         "merge_fields": false,
         "lock_view": false,
-        "lock_path": "filtre.md",
+        "lock_path": "base de filtre.md",
         "field_group_labels": [
           "downs"
         ],
diff --git a/base de filtre.md b/base de filtre.md
new file mode 100644
index 00000000..25bf8995
--- /dev/null
+++ b/base de filtre.md	
@@ -0,0 +1,19 @@
+---
+up:
+  - "[[filtre engendré]]"
+tags:
+  - s/maths/logique
+aliases:
+---
+
+> [!definition] [[base de filtre]]
+> Soit $X$ un ensemble infini.
+> Une **base de filtre** sur $X$ est un ensemble $\mathcal{B}$ tel que :
+>  - $\mathcal{B}$ est stable par intersection : $\forall A, B \in \mathcal{B},\quad A \cap B \in \mathcal{B}$
+>  - $\emptyset \notin \mathcal{B}$
+^definition
+
+# Propriétés
+
+# Exemples
+
diff --git a/filtre engendré.md b/filtre engendré.md
new file mode 100644
index 00000000..90236890
--- /dev/null
+++ b/filtre engendré.md	
@@ -0,0 +1,21 @@
+---
+up:
+  - "[[filtre]]"
+tags:
+  - s/maths/logique
+aliases:
+---
+
+> [!definition] [[filtre engendré]]
+> Soit $\mathcal{B}$ une [[base de filtre]] sur $X$
+> Le **filtre engendré** par $\mathcal{B}$ est le [[filtre]] $\mathscr{F}_{\mathcal{B}}$ défini par :
+> $\boxed{\mathscr{F}_{\mathcal{B}} = \{ F \in \mathcal{P}(X) \mid \exists B \in \mathcal{B},\quad B \subseteq F \}}$
+> 
+> > [!démonstration]- Démonstration : $\mathscr{F}_{\mathcal{B}}$ est bien un filtre
+> > 
+^definition
+
+# Propriétés
+
+# Exemples
+