diff --git a/include/lib/dbg.php b/include/lib/dbg.php
index b5ac58d43..a0570b104 100644
--- a/include/lib/dbg.php
+++ b/include/lib/dbg.php
@@ -134,5 +134,20 @@ EOF;
 EOF;
         return $r;
     }
+
+    public static function timer_start()
+    {
+        global $timer;
+        $timer=hrtime(true);
+    }
+    public static function timer_show()
+    {
+        global $timer;
+        // $delta=$timer-microtime(true) ;
+        echo '<span style="font-size:80%;color:navy;background:lightgreen">';
+        echo _("Temps écoulé : ");
+        echo (hrtime(true)-$timer)/1e+6;
+        echo '</span>';
+    }
 }
 ?>