diff --git a/classes de complexité.md b/classes de complexité.md
index 2b16545c..dba340ae 100644
--- a/classes de complexité.md	
+++ b/classes de complexité.md	
@@ -5,6 +5,8 @@ tags:
   - s/informatique/algorithmie
 aliases:
 ---
+![[langage décidable en temps déterministe]]
+# Complexité temporelle
 
 > [!definition] $P$ (ou $PTIME$)
 > $\displaystyle P = \bigcup _{c >0} \operatorname{DTIME}(n \mapsto n ^{c})$
@@ -15,3 +17,6 @@ aliases:
 > [!definition] $LOGTIME$ (ou $L$)
 > $LOGTIME = \operatorname{DTIME}(n \mapsto \log n)$
 
+# Complexité spatiale
+
+
diff --git a/lien entre complexité temporelle et complexité spatiale.md b/lien entre complexité temporelle et complexité spatiale.md
new file mode 100644
index 00000000..33ba7220
--- /dev/null
+++ b/lien entre complexité temporelle et complexité spatiale.md	
@@ -0,0 +1,10 @@
+---
+up:
+  - "[[complexité algorithmique]]"
+tags:
+  - s/informatique/algorithmie
+aliases:
+---
+
+> [!proposition]+ 
+> $\forall f \in \mathbb{N}^{\mathbb{N}},\quad \operatorname{DTIME}(f) \subseteq \operatorname{DSPACE}(f)$
\ No newline at end of file