1 files changed, 1 insertions, 0 deletions

diff --git a/TODO b/TODO
index 90c6c6d8cf..d3eb389f77 100644
--- a/TODO
+++ b/TODO
@@ -52,3 +52,4 @@ Doc:
 - Suggestions de la formation
 	Dans le Intros pattern on pourrait interpreter les _ 
 comme des hypotheses sur lesquelles on ferait Clear immediatement
+-> FAIT, semble-t'il
\ No newline at end of file