diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html
index 7ec6eab68..e440e3754 100644
--- a/wrap/python/ajax/ltl2tgba.html
+++ b/wrap/python/ajax/ltl2tgba.html
@@ -9,6 +9,8 @@
     <link rel="stylesheet" href="css/ui-lightness/jquery-ui-1.8.13.custom.css">
     <link rel="stylesheet" href="css/tipTip.css">
     <link rel="stylesheet" href="css/ltl2tgba.css">
+    <link rel="icon" href="http://spot.lip6.fr/img/favicon.ico" type="image/x-icon">
+    <link rel="shortcut icon" href="http://spot.lip6.fr/img/favicon.ico" type="image/x-icon">
     <script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.7.2/jquery.min.js"></script>
     <script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8.13/jquery-ui.min.js"></script>
     <script type="text/javascript" src="js/jquery.tipTip.minified.js"></script>