[Tutti-commits] 02/02: fixes #6993: [AIDE] probleme d'affichage de l'aide en ligne, cf copie écran Merge branch 'feature/6993' into support/3.13.x