Détails ergo liste des plugins (suite de !4834)
Complément de !4834 (merged), 2 détails ergo corrigés :
- légère marge sous les boutons à cocher pour ne pas coller aux autres dessous
- décocher les autres quand on coche les mises à jour. Cela est nécessaire si on a fait « tout cocher » avant par exemple.