diff --git a/inc-public.php3 b/inc-public.php3
index 440a6712f07f79fc7a73904b9404b654ab751fa5..2f85723ebc34c2d224d05746d0b0888284a3c3ea 100644
--- a/inc-public.php3
+++ b/inc-public.php3
@@ -1,16 +1,8 @@
 <?php
 
 if (!defined("_INC_PUBLIC")) {
-	$t = microtime();
-
  	define("_INC_PUBLIC", "1");
 	include("inc-public-global.php3");
-
-	$tt = microtime();
-	$t = explode(" ", $t);
-	$tt = explode(" ", $tt);
-	$dt = ($tt[1] + (float) $tt[0]) - ($t[1] + (float) $t[0]);
-	echo "resultat en $dt secondes.<p>";
 }
 else {
 	$fichier_requete = $fond;