Improve Portal french translation

[thcdrt]

Thank you for contributing to Harbor!

Comprehensive Summary of your change

Fix missing translations + typo on Portal French file.

Thomas

[AllForNothing]

@thcdrt Could you ask at least one other French speaker to review your PR?

[codecov]

Codecov Report

Merging #18289 (da2c9d9) into main (fe236ec) will increase coverage by 22.92%.
The diff coverage is n/a.

❗ Current head da2c9d9 differs from pull request most recent head 6f9fd05. Consider uploading reports for the commit 6f9fd05 to get more accurate results

@@             Coverage Diff             @@
##             main   #18289       +/-   ##
===========================================
+ Coverage   44.54%   67.46%   +22.92%     
===========================================
  Files         233      971      +738     
  Lines       13022   106223    +93201     
  Branches     2660     2649       -11     
===========================================
+ Hits         5800    71667    +65867     
- Misses       6926    30720    +23794     
- Partials      296     3836     +3540     

Flag	Coverage Δ
unittests	67.46% <ø> (+22.92%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

see 746 files with indirect coverage changes

[Lucasgranet]

Some little mistakes

[MinerYang]

could you help to rebase then we are good to merge

[rverchere]

Some review here!

Another comment: for "pull", sometimes you use "tirer", sometimes "récupérer".
It would be fin to use always the same verb (I prefer "récupérer"), or just let "pull"

[thcdrt]

Some review here!

Another comment: for "pull", sometimes you use "tirer", sometimes "récupérer". It would be fin to use always the same verb (I prefer "récupérer"), or just let "pull"

Thank you for your review, indeed, as answered to Theo, I asked myself which one to chose but as I couldn't take a decision I let it as it was.
Shoudl we keep "push" and "pull" everywhere ?

[TheGthr]

Some review here!
Another comment: for "pull", sometimes you use "tirer", sometimes "récupérer". It would be fin to use always the same verb (I prefer "récupérer"), or just let "pull"

Thank you for your review, indeed, as answered to Theo, I asked myself which one to chose but as I couldn't take a decision I let it as it was. Shoudl we keep "push" and "pull" everywhere ?

Yes, I think keeping "push" and "pull" everywhere will make it more consistent, thank you

[thcdrt]

Thank you all for your reviews, all suggestions have been applied

[AllForNothing]

@thcdrt Please ping me if this PR is good to merge,I can help to merge it

[thcdrt]

@thcdrt Please ping me if this PR is good to merge,I can help to merge it

Hello @AllForNothing, for me PR is good to merge :)