diff --git a/html/admin.php b/html/admin.php
index 15fe175a..92368cf2 100644
--- a/html/admin.php
+++ b/html/admin.php
@@ -12,6 +12,7 @@ if($_SESSION['role'] < 3) {
+
diff --git a/html/compte.php b/html/compte.php
index cb843795..fb7abcc9 100644
--- a/html/compte.php
+++ b/html/compte.php
@@ -37,6 +37,7 @@ if(isset($_POST['delete_account'])) {
+
diff --git a/html/editpage.php b/html/editpage.php
index 46bafb73..78c72a25 100644
--- a/html/editpage.php
+++ b/html/editpage.php
@@ -58,6 +58,7 @@ if(isset($fichier)) {
+
diff --git a/html/robots.txt b/html/robots.txt
new file mode 100644
index 00000000..e69de29b