diff --git a/.github/workflows/2pdf.yml b/.github/workflows/2pdf.yml
index 8fb2038..6aed863 100644
--- a/.github/workflows/2pdf.yml
+++ b/.github/workflows/2pdf.yml
@@ -6,7 +6,7 @@ on:
       - main
     # Paths can be used only to trigger actions when you have edited certain files, such as a file within the /docs directory
     paths:
-      - 'rendu/presentation.tex'
+      - 'rendu/**'
      # - 'images/**'
  # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
diff --git a/rendu/graphs/ex_propagation.dot b/rendu/graphs/ex_propagation.dot
new file mode 100644
index 0000000..407c4ef
--- /dev/null
+++ b/rendu/graphs/ex_propagation.dot
@@ -0,0 +1,17 @@
+digraph cfg {
+node [shape = "box"]
+_test_prologue[label = ".test.prologue:\l"]
+_test_prologue -> _test_BB0
+_test_BB0[label = ".test.BB0:\l_3 := 42\l_2 := _3\l"]
+_test_BB0 -> _test_BB1 [label = "_1"]
+_test_BB0 -> _test_BB2 [label = "not _1"]
+_test_BB1[label = ".test.BB1:\l_5 := 3\l_4 := _5\l"]
+_test_BB1 -> _test_BB3
+_test_BB2[label = ".test.BB2:\l_6 := 2\l_4 := _6\l"]
+_test_BB2 -> _test_BB3
+_test_BB3[label = ".test.BB3:\l_7 := _2 + _4\l_0 := _7\l"]
+_test_BB3 -> _test_epilogue
+_test_BB4[label = ".test.BB4:\l"]
+_test_BB4 -> _test_epilogue
+_test_epilogue[label = ".test.epilogue:\l"]
+}
diff --git a/rendu/graphs/ex_propagation.dot.png b/rendu/graphs/ex_propagation.dot.png
new file mode 100644
index 0000000..a9c0fb3
Binary files /dev/null and b/rendu/graphs/ex_propagation.dot.png differ
diff --git a/rendu/graphs/ex_propagation_after.dot b/rendu/graphs/ex_propagation_after.dot
new file mode 100644
index 0000000..d543b71
--- /dev/null
+++ b/rendu/graphs/ex_propagation_after.dot
@@ -0,0 +1,17 @@
+digraph cfg {
+node [shape = "box"]
+_test_prologue[label = ".test.prologue:\l"]
+_test_prologue -> _test_BB0
+_test_BB0[label = ".test.BB0:\l_3 := 42\l_2 := 42\l"]
+_test_BB0 -> _test_BB1 [label = "_1"]
+_test_BB0 -> _test_BB2 [label = "not _1"]
+_test_BB1[label = ".test.BB1:\l_5 := 3\l_4 := 3\l"]
+_test_BB1 -> _test_BB3
+_test_BB2[label = ".test.BB2:\l_6 := 2\l_4 := 2\l"]
+_test_BB2 -> _test_BB3
+_test_BB3[label = ".test.BB3:\l_7 := 42 + _4\l_0 := _7\l"]
+_test_BB3 -> _test_epilogue
+_test_BB4[label = ".test.BB4:\l"]
+_test_BB4 -> _test_epilogue
+_test_epilogue[label = ".test.epilogue:\l"]
+}
diff --git a/rendu/graphs/ex_propagation_after.dot.png b/rendu/graphs/ex_propagation_after.dot.png
new file mode 100644
index 0000000..7bff7ac
Binary files /dev/null and b/rendu/graphs/ex_propagation_after.dot.png differ
diff --git a/rendu/graphs/fact_no_opti.dot b/rendu/graphs/fact_no_opti.dot
new file mode 100644
index 0000000..b062e53
--- /dev/null
+++ b/rendu/graphs/fact_no_opti.dot
@@ -0,0 +1,17 @@
+digraph cfg {
+node [shape = "box"]
+_main_prologue[label = ".main.prologue:\l"]
+_main_prologue -> _main_BB0
+_main_BB0[label = ".main.BB0:\l_2 := 10\l_1 := _2\l_4 := 1\l_3 := _4\l"]
+_main_BB0 -> _main_BB1
+_main_BB1[label = ".main.BB1:\l_5 := 0\l_6 := _1 > _5\l"]
+_main_BB1 -> _main_BB2 [label = "_6"]
+_main_BB1 -> _main_BB3 [label = "not _6"]
+_main_BB2[label = ".main.BB2:\l_7 := _3 * _1\l_3 := _7\l_8 := 1\l_9 := _1 - _8\l_1 := _9\l"]
+_main_BB2 -> _main_BB1
+_main_BB3[label = ".main.BB3:\l_0 := _3\l"]
+_main_BB3 -> _main_epilogue
+_main_BB4[label = ".main.BB4:\l"]
+_main_BB4 -> _main_epilogue
+_main_epilogue[label = ".main.epilogue:\l"]
+}
diff --git a/rendu/graphs/fact_no_opti.dot.png b/rendu/graphs/fact_no_opti.dot.png
new file mode 100644
index 0000000..57917dd
Binary files /dev/null and b/rendu/graphs/fact_no_opti.dot.png differ
diff --git a/rendu/graphs/fact_no_opti.svg b/rendu/graphs/fact_no_opti.svg
new file mode 100644
index 0000000..95f683c
--- /dev/null
+++ b/rendu/graphs/fact_no_opti.svg
@@ -0,0 +1,107 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Generated by graphviz version 10.0.1 (0)
+ -->
+<!-- Title: cfg Pages: 1 -->
+<svg width="323pt" height="441pt"
+ viewBox="0.00 0.00 322.50 440.75" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 436.75)">
+<title>cfg</title>
+<polygon fill="white" stroke="none" points="-4,4 -4,-436.75 318.5,-436.75 318.5,4 -4,4"/>
+<!-- _fact_prologue -->
+<g id="node1" class="node">
+<title>_fact_prologue</title>
+<polygon fill="none" stroke="black" points="143,-432.75 23.5,-432.75 23.5,-396.75 143,-396.75 143,-432.75"/>
+<text text-anchor="start" x="31.5" y="-410.07" font-family="Times,serif" font-size="14.00">.fact.prologue:</text>
+</g>
+<!-- _fact_BB0 -->
+<g id="node2" class="node">
+<title>_fact_BB0</title>
+<polygon fill="none" stroke="black" points="126.5,-359.75 40,-359.75 40,-300 126.5,-300 126.5,-359.75"/>
+<text text-anchor="start" x="48" y="-342.45" font-family="Times,serif" font-size="14.00">.fact.BB0:</text>
+<text text-anchor="start" x="48" y="-325.2" font-family="Times,serif" font-size="14.00">_3 := 1</text>
+<text text-anchor="start" x="48" y="-307.95" font-family="Times,serif" font-size="14.00">_2 := _3</text>
+</g>
+<!-- _fact_prologue&#45;&gt;_fact_BB0 -->
+<g id="edge1" class="edge">
+<title>_fact_prologue&#45;&gt;_fact_BB0</title>
+<path fill="none" stroke="black" d="M83.25,-396.58C83.25,-389.26 83.25,-380.38 83.25,-371.55"/>
+<polygon fill="black" stroke="black" points="86.75,-371.62 83.25,-361.62 79.75,-371.62 86.75,-371.62"/>
+</g>
+<!-- _fact_BB1 -->
+<g id="node3" class="node">
+<title>_fact_BB1</title>
+<polygon fill="none" stroke="black" points="138.12,-263 28.38,-263 28.38,-168.75 138.12,-168.75 138.12,-263"/>
+<text text-anchor="start" x="36.38" y="-245.7" font-family="Times,serif" font-size="14.00">.fact.BB1:</text>
+<text text-anchor="start" x="36.38" y="-228.45" font-family="Times,serif" font-size="14.00">_4 := _1</text>
+<text text-anchor="start" x="36.38" y="-211.2" font-family="Times,serif" font-size="14.00">_1 := _1 &#45; 1</text>
+<text text-anchor="start" x="36.38" y="-193.95" font-family="Times,serif" font-size="14.00">_5 := 1</text>
+<text text-anchor="start" x="36.38" y="-176.7" font-family="Times,serif" font-size="14.00">_6 := _4 &gt; _5</text>
+</g>
+<!-- _fact_BB0&#45;&gt;_fact_BB1 -->
+<g id="edge2" class="edge">
+<title>_fact_BB0&#45;&gt;_fact_BB1</title>
+<path fill="none" stroke="black" d="M83.25,-299.74C83.25,-291.99 83.25,-283.34 83.25,-274.63"/>
+<polygon fill="black" stroke="black" points="86.75,-274.73 83.25,-264.73 79.75,-274.73 86.75,-274.73"/>
+</g>
+<!-- _fact_BB2 -->
+<g id="node4" class="node">
+<title>_fact_BB2</title>
+<polygon fill="none" stroke="black" points="104.5,-115.5 0,-115.5 0,-73 104.5,-73 104.5,-115.5"/>
+<text text-anchor="start" x="8" y="-98.2" font-family="Times,serif" font-size="14.00">.fact.BB2:</text>
+<text text-anchor="start" x="8" y="-80.95" font-family="Times,serif" font-size="14.00">_2 := _2 * _1</text>
+</g>
+<!-- _fact_BB1&#45;&gt;_fact_BB2 -->
+<g id="edge3" class="edge">
+<title>_fact_BB1&#45;&gt;_fact_BB2</title>
+<path fill="none" stroke="black" d="M59.02,-168.39C56.79,-162.57 54.86,-156.61 53.5,-150.75 51.75,-143.21 50.97,-134.93 50.73,-127.13"/>
+<polygon fill="black" stroke="black" points="54.23,-127.31 50.72,-117.31 47.23,-127.31 54.23,-127.31"/>
+<text text-anchor="middle" x="62.12" y="-137.45" font-family="Times,serif" font-size="14.00">_6</text>
+</g>
+<!-- _fact_BB3 -->
+<g id="node5" class="node">
+<title>_fact_BB3</title>
+<polygon fill="none" stroke="black" points="209.5,-115.5 123,-115.5 123,-73 209.5,-73 209.5,-115.5"/>
+<text text-anchor="start" x="131" y="-98.2" font-family="Times,serif" font-size="14.00">.fact.BB3:</text>
+<text text-anchor="start" x="131" y="-80.95" font-family="Times,serif" font-size="14.00">_0 := _2</text>
+</g>
+<!-- _fact_BB1&#45;&gt;_fact_BB3 -->
+<g id="edge4" class="edge">
+<title>_fact_BB1&#45;&gt;_fact_BB3</title>
+<path fill="none" stroke="black" d="M115.58,-168.28C125.59,-153.85 136.35,-138.34 145.37,-125.35"/>
+<polygon fill="black" stroke="black" points="148.2,-127.41 151.02,-117.2 142.45,-123.42 148.2,-127.41"/>
+<text text-anchor="middle" x="162" y="-137.45" font-family="Times,serif" font-size="14.00">not _6</text>
+</g>
+<!-- _fact_BB2&#45;&gt;_fact_BB1 -->
+<g id="edge5" class="edge">
+<title>_fact_BB2&#45;&gt;_fact_BB1</title>
+<path fill="none" stroke="black" d="M62.56,-115.94C65.04,-121.53 67.48,-127.66 69.25,-133.5 71.54,-141.05 73.49,-149.12 75.15,-157.13"/>
+<polygon fill="black" stroke="black" points="71.69,-157.71 77.01,-166.88 78.57,-156.4 71.69,-157.71"/>
+</g>
+<!-- _fact_epilogue -->
+<g id="node6" class="node">
+<title>_fact_epilogue</title>
+<polygon fill="none" stroke="black" points="276.88,-36 159.62,-36 159.62,0 276.88,0 276.88,-36"/>
+<text text-anchor="start" x="167.62" y="-13.32" font-family="Times,serif" font-size="14.00">.fact.epilogue:</text>
+</g>
+<!-- _fact_BB3&#45;&gt;_fact_epilogue -->
+<g id="edge6" class="edge">
+<title>_fact_BB3&#45;&gt;_fact_epilogue</title>
+<path fill="none" stroke="black" d="M180.73,-72.57C186.65,-64.12 193.56,-54.25 199.83,-45.31"/>
+<polygon fill="black" stroke="black" points="202.56,-47.51 205.43,-37.31 196.83,-43.49 202.56,-47.51"/>
+</g>
+<!-- _fact_BB4 -->
+<g id="node7" class="node">
+<title>_fact_BB4</title>
+<polygon fill="none" stroke="black" points="314.5,-112.25 228,-112.25 228,-76.25 314.5,-76.25 314.5,-112.25"/>
+<text text-anchor="start" x="236" y="-89.58" font-family="Times,serif" font-size="14.00">.fact.BB4:</text>
+</g>
+<!-- _fact_BB4&#45;&gt;_fact_epilogue -->
+<g id="edge7" class="edge">
+<title>_fact_BB4&#45;&gt;_fact_epilogue</title>
+<path fill="none" stroke="black" d="M258.96,-76.03C252.52,-67 244.48,-55.75 237.26,-45.63"/>
+<polygon fill="black" stroke="black" points="240.2,-43.72 231.54,-37.62 234.5,-47.79 240.2,-43.72"/>
+</g>
+</g>
+</svg>
diff --git a/rendu/logo.png b/rendu/logo.png
new file mode 100644
index 0000000..a09a384
Binary files /dev/null and b/rendu/logo.png differ