En fait, même le GIF de base n'est pas bien compressé depuis webgbcam… il faudrait idéalement que je les recompresse avant de les poster, mais je perdrais alors la facilité et le plaisir du partage rapide depuis mon téléphone. Raison de plus pour en faire un fork avec une meilleure compression d'export, un jour…