[Tutti-commits] 04/04: fixes #5156: Mettre à jour l'aide en ligne Merge branch 'feature/5156' into develop