le format GIF étant un format à palette 8 bit (256 colors max.), il n'excelle pas dans le rendu des dégradés.
ce que je conseillerais pour les gifs animés, c'est de choisir une palette indexée prédéfinie,
et surtout, de désactiver l'option "entrelacement" et l'option "dither" (tramage de couleurs en français)
qui est sensé éviter l'effet bandes/paliers dans le rendu des dégradés justement,
mais qui
granule l'image à donf (fourmillement que je trouve pour ma part détestable en gif animé).
sinon, coté softs, j'imagine que tous les softs d'anim doivent permettre d'exporter en .GIF
avec plus ou moins de bonheur,
pour ma part, j'utilisais Gimp (GNU licence) auparavant, mais maintenant j'utilise plutôt mon outil de tous les jours,
à savoir tvpaint .
