diff --git a/Sujet.pdf b/Sujet.pdf
index d9bafe17d7526dbda73abd2d6d39e7afb75aec14..1fb3da27f96d7299a31306178e5d0ef2b562e855 100644
Binary files a/Sujet.pdf and b/Sujet.pdf differ
diff --git a/src/cfg_nop_elim.ml b/src/cfg_nop_elim.ml
index 119db24264f239961770804dd84f514f5c04f5af..da45a5a8656f295bd0f6dc9cdab2d9101d5554d0 100644
--- a/src/cfg_nop_elim.ml
+++ b/src/cfg_nop_elim.ml
@@ -47,6 +47,7 @@ let nop_transitions_closed cfgfunbody =
 (* [replace_succ nop_succs s] donne le nouveau nom du nœud [s], en utilisant la
    liste [nop_succs] (telle que renvoyée par [nop_transitions_closed]). *)
 let replace_succ nop_succs s =
+   (* TODO *)
    s
 
 (* [replace_succs nop_succs n] remplace le nœud [n] par un nœud équivalent où on
diff --git a/src/elang_gen.ml b/src/elang_gen.ml
index 29c5029150aca06db8bc6ca704332ae9fbb8ba2a..be904b1e67d18e2c0f25d8896b1610cc1dbe287e 100644
--- a/src/elang_gen.ml
+++ b/src/elang_gen.ml
@@ -58,6 +58,7 @@ let rec make_eexpr_of_ast (a: tree) : expr res =
 let rec make_einstr_of_ast (a: tree) : instr res =
   let res =
     match a with
+    (* TODO *)
     | _ -> Error (Printf.sprintf "Unacceptable ast in make_einstr_of_ast %s"
                     (string_of_ast a))
   in