Script pour "compresser" les fichiers php