And the way you figure that out is: the diameter of the button plus the width of the button, plus a little bit of ease.
Pour en déterminer la taille : le diamètre du bouton plus l'épaisseur du bouton, plus un peu de marge.