16.1. Introduction aux filtres
             
           
         
        
        
        
      These are animation helpers, which let you view and optimize your
      animations (by reducing their size). We gathered « Optimize
      (Difference) » and « Optimize (for GIF) » filters
      together, because they are not much different.