[Tutti-commits] 02/02: fixes #7219: [EXPORT] gestion des commentaires Merge branch 'feature/7219' into develop