diff --git a/projet/src/.merlin b/project/src/.merlin
similarity index 100%
rename from projet/src/.merlin
rename to project/src/.merlin
diff --git a/projet/src/CPS.ml b/project/src/CPS.ml
similarity index 100%
rename from projet/src/CPS.ml
rename to project/src/CPS.ml
diff --git a/projet/src/CPS.mli b/project/src/CPS.mli
similarity index 100%
rename from projet/src/CPS.mli
rename to project/src/CPS.mli
diff --git a/projet/src/Cook.ml b/project/src/Cook.ml
similarity index 100%
rename from projet/src/Cook.ml
rename to project/src/Cook.ml
diff --git a/projet/src/Cook.mli b/project/src/Cook.mli
similarity index 100%
rename from projet/src/Cook.mli
rename to project/src/Cook.mli
diff --git a/projet/src/Defun.ml b/project/src/Defun.ml
similarity index 100%
rename from projet/src/Defun.ml
rename to project/src/Defun.ml
diff --git a/projet/src/Defun.mli b/project/src/Defun.mli
similarity index 100%
rename from projet/src/Defun.mli
rename to project/src/Defun.mli
diff --git a/projet/src/Error.ml b/project/src/Error.ml
similarity index 100%
rename from projet/src/Error.ml
rename to project/src/Error.ml
diff --git a/projet/src/Error.mli b/project/src/Error.mli
similarity index 100%
rename from projet/src/Error.mli
rename to project/src/Error.mli
diff --git a/projet/src/Finish.ml b/project/src/Finish.ml
similarity index 100%
rename from projet/src/Finish.ml
rename to project/src/Finish.ml
diff --git a/projet/src/Finish.mli b/project/src/Finish.mli
similarity index 100%
rename from projet/src/Finish.mli
rename to project/src/Finish.mli
diff --git a/projet/src/Lambda.ml b/project/src/Lambda.ml
similarity index 100%
rename from projet/src/Lambda.ml
rename to project/src/Lambda.ml
diff --git a/projet/src/Lexer.mll b/project/src/Lexer.mll
similarity index 100%
rename from projet/src/Lexer.mll
rename to project/src/Lexer.mll
diff --git a/projet/src/Main.ml b/project/src/Main.ml
similarity index 100%
rename from projet/src/Main.ml
rename to project/src/Main.ml
diff --git a/projet/src/Makefile b/project/src/Makefile
similarity index 100%
rename from projet/src/Makefile
rename to project/src/Makefile
diff --git a/projet/src/Parser.mly b/project/src/Parser.mly
similarity index 100%
rename from projet/src/Parser.mly
rename to project/src/Parser.mly
diff --git a/projet/src/RawLambda.ml b/project/src/RawLambda.ml
similarity index 100%
rename from projet/src/RawLambda.ml
rename to project/src/RawLambda.ml
diff --git a/projet/src/Tail.ml b/project/src/Tail.ml
similarity index 100%
rename from projet/src/Tail.ml
rename to project/src/Tail.ml
diff --git a/projet/src/Top.ml b/project/src/Top.ml
similarity index 100%
rename from projet/src/Top.ml
rename to project/src/Top.ml
diff --git a/projet/src/_tags b/project/src/_tags
similarity index 100%
rename from projet/src/_tags
rename to project/src/_tags
diff --git a/projet/src/alphalib/Atom.ml b/project/src/alphalib/Atom.ml
similarity index 100%
rename from projet/src/alphalib/Atom.ml
rename to project/src/alphalib/Atom.ml
diff --git a/projet/src/alphalib/Atom.mli b/project/src/alphalib/Atom.mli
similarity index 100%
rename from projet/src/alphalib/Atom.mli
rename to project/src/alphalib/Atom.mli
diff --git a/projet/src/kremlin/C.ml b/project/src/kremlin/C.ml
similarity index 100%
rename from projet/src/kremlin/C.ml
rename to project/src/kremlin/C.ml
diff --git a/projet/src/kremlin/Common.ml b/project/src/kremlin/Common.ml
similarity index 100%
rename from projet/src/kremlin/Common.ml
rename to project/src/kremlin/Common.ml
diff --git a/projet/src/kremlin/Constant.ml b/project/src/kremlin/Constant.ml
similarity index 100%
rename from projet/src/kremlin/Constant.ml
rename to project/src/kremlin/Constant.ml
diff --git a/projet/src/kremlin/Options.ml b/project/src/kremlin/Options.ml
similarity index 100%
rename from projet/src/kremlin/Options.ml
rename to project/src/kremlin/Options.ml
diff --git a/projet/src/kremlin/PrintC.ml b/project/src/kremlin/PrintC.ml
similarity index 100%
rename from projet/src/kremlin/PrintC.ml
rename to project/src/kremlin/PrintC.ml
diff --git a/projet/src/kremlin/PrintCommon.ml b/project/src/kremlin/PrintCommon.ml
similarity index 100%
rename from projet/src/kremlin/PrintCommon.ml
rename to project/src/kremlin/PrintCommon.ml
diff --git a/projet/src/kremlin/Utils.ml b/project/src/kremlin/Utils.ml
similarity index 100%
rename from projet/src/kremlin/Utils.ml
rename to project/src/kremlin/Utils.ml
diff --git a/projet/src/prologue.h b/project/src/prologue.h
similarity index 100%
rename from projet/src/prologue.h
rename to project/src/prologue.h
diff --git a/projet/src/test/.gitignore b/project/src/test/.gitignore
similarity index 100%
rename from projet/src/test/.gitignore
rename to project/src/test/.gitignore
diff --git a/projet/src/test/.merlin b/project/src/test/.merlin
similarity index 100%
rename from projet/src/test/.merlin
rename to project/src/test/.merlin
diff --git a/projet/src/test/Makefile b/project/src/test/Makefile
similarity index 100%
rename from projet/src/test/Makefile
rename to project/src/test/Makefile
diff --git a/projet/src/test/_tags b/project/src/test/_tags
similarity index 100%
rename from projet/src/test/_tags
rename to project/src/test/_tags
diff --git a/projet/src/test/auxiliary.ml b/project/src/test/auxiliary.ml
similarity index 100%
rename from projet/src/test/auxiliary.ml
rename to project/src/test/auxiliary.ml
diff --git a/projet/src/test/test.ml b/project/src/test/test.ml
similarity index 100%
rename from projet/src/test/test.ml
rename to project/src/test/test.ml
diff --git a/projet/src/tests/.gitignore b/project/src/tests/.gitignore
similarity index 100%
rename from projet/src/tests/.gitignore
rename to project/src/tests/.gitignore
diff --git a/projet/src/tests/bool.exp b/project/src/tests/bool.exp
similarity index 100%
rename from projet/src/tests/bool.exp
rename to project/src/tests/bool.exp
diff --git a/projet/src/tests/bool.lambda b/project/src/tests/bool.lambda
similarity index 100%
rename from projet/src/tests/bool.lambda
rename to project/src/tests/bool.lambda
diff --git a/projet/src/tests/church.exp b/project/src/tests/church.exp
similarity index 100%
rename from projet/src/tests/church.exp
rename to project/src/tests/church.exp
diff --git a/projet/src/tests/church.lambda b/project/src/tests/church.lambda
similarity index 100%
rename from projet/src/tests/church.lambda
rename to project/src/tests/church.lambda
diff --git a/projet/src/tests/hello.exp b/project/src/tests/hello.exp
similarity index 100%
rename from projet/src/tests/hello.exp
rename to project/src/tests/hello.exp
diff --git a/projet/src/tests/hello.lambda b/project/src/tests/hello.lambda
similarity index 100%
rename from projet/src/tests/hello.lambda
rename to project/src/tests/hello.lambda
diff --git a/projet/src/tests/loop/loop.lambda b/project/src/tests/loop/loop.lambda
similarity index 100%
rename from projet/src/tests/loop/loop.lambda
rename to project/src/tests/loop/loop.lambda
diff --git a/projet/src/tests/printprint.exp b/project/src/tests/printprint.exp
similarity index 100%
rename from projet/src/tests/printprint.exp
rename to project/src/tests/printprint.exp
diff --git a/projet/src/tests/printprint.lambda b/project/src/tests/printprint.lambda
similarity index 100%
rename from projet/src/tests/printprint.lambda
rename to project/src/tests/printprint.lambda
diff --git a/projet/sujet.pdf b/project/sujet.pdf
similarity index 100%
rename from projet/sujet.pdf
rename to project/sujet.pdf