[Tutti-commits] 01/01: fixes #6384: ans le menu Aide/A propos, remplacer Tutti par Allegro campagne