io per ridimensionare le immagini usavo esay thumbnail ora però mi si pone davanti il problema di salvare tutte in un altra estensione qualcuno saprebbe consigliarmi un programmino che lo faccio in automatico(esempio da jpg a gif)