diff --git a/user_guide/fr.html b/user_guide/fr.html index 5844208..2c29e83 100644 --- a/user_guide/fr.html +++ b/user_guide/fr.html @@ -2439,7 +2439,7 @@