diff --git a/verif/LEC/formality_work/formality_log/readme.md b/verif/LEC/formality_work/formality_log/readme.md
new file mode 100644
index 00000000..e69de29b