diff --git a/build_system_fr.md b/build_system_fr.md
index e8ae69c0..fd3fa2ab 100644
--- a/build_system_fr.md
+++ b/build_system_fr.md
@@ -101,7 +101,7 @@ $ head debian/changelog
 $ git yunobump x.y.z-p
 
 # Push the branch state AND the tags to the remote repository
-$ git push origin --tags testing : testing
+$ git push origin --tags testing:testing
 
 # Merge changelog modifications to the `unstable` branch
 $ git checkout unstable