[Tutti-commits] 01/01: Uniformisation des tailles des boutons dans les onglets (See #7926)