Esiste qualche funzione in php per convertire un immagine jpeg da progressiva a non progressiva ?