diff --git a/.gitattributes b/.gitattributes
index f3eec9a414c3972c9bd2d2342296a456713d21c0..3103f16390f5ed467a0e3e36853280e153be9418 100644
--- a/.gitattributes
+++ b/.gitattributes
@@ -370,6 +370,7 @@ ecrire/safehtml/readme-SPIP.txt -text
 ecrire/safehtml/readme.txt -text
 ecrire/urls/page.php -text
 ecrire/urls/propres-qs.php -text
+/inc-public.php3 -text
 /puce.gif -text
 /puce_rtl.gif -text
 /rien.gif -text
diff --git a/ecrire/public-public-global.php b/ecrire/public-global.php
similarity index 100%
rename from ecrire/public-public-global.php
rename to ecrire/public-global.php
diff --git a/ecrire/public-public.php b/ecrire/public.php
similarity index 100%
rename from ecrire/public-public.php
rename to ecrire/public.php
diff --git a/inc-public.php3 b/inc-public.php3
new file mode 100644
index 0000000000000000000000000000000000000000..e1d537f12d0b9b343f1dd14fc5cba6b3af6c0dfa
--- /dev/null
+++ b/inc-public.php3
@@ -0,0 +1,4 @@
+<?php
+	# fantome
+	include('ecrire/public.php');
+?>