Existe-t-il un outil pour créer une gifanimation à partir d'un ensemble de pngfichiers? J'ai essayé la convertcommande de la suite ImageMagick , mais cela ne réussit pas toujours. En outre, j'ai plusieurs problèmes avec ceci: Je ne peux pas dire quels sont les progrès. Quoi que j'essaye, le...