Suite ajustements boutons / ticket #4562.

On revoit les variantes de tailles : ça n'a pas trop de sens de reprendre `.s16`, `.s24` et cie, qui ciblent des tailles d'icônes. Mais les icônes sont optionnelles pour les boutons, et on veut faire varier la taille générale, pas juste l'icône éventuelle. On ne fait donc que 2 variantes qu'on nomme `.mini` et `.large`.
On permet également d'utiliser ces 2 variantes directement sur `.groupe-boutons`.

Ajout également des icônes `.supprimer` et `.ajouter` : elles sont déjà utilisées dans les boutons des listes du formulaire editer_liens, et possiblement utiles ailleurs. Il s'agit de variantes "plus légères" de `.add` et `.del`.