[Tutti-commits] 05/07: décoration pour le résumé (refs #8152)