[Tutti-commits] 01/03: Correction de la taille des boutons (See #7971)