Update installation.md

Test-Management/installation.md

@@ -26,9 +26,9 @@ application server, read [Jboss7 installation guide](../General/jboss7.html).
 
 # Sources
 
-Test Management is an open source project under Apache2 licence. The sources are available on the INRIA's Forge:
+Test Management is an open source project under Apache2 licence. The sources are available on the INRIA's Gitlab:
 ```bash
-svn checkout https://scm.gforge.inria.fr/anonscm/svn/gazelle/Maven/gazelle-tm/trunk/
+git clone https://gitlab.inria.fr/gazelle/applications/mixed/gazelle-tm.git
 ```
 
 # Database creation and initialization