Je souhaite redimensionner un tel fichier GIF animé do.gif 
Si je fais convert do.gif -resize 24x24\! do-24.gif , je le redimensionne dans do-24.gif mais pas dans mon animation 
Comment le redimensionner correctement pour obtenir la même animation?