[php] Convertion gif en png ou jpg?

$image = imagecreatefromgif($fichiergif);
imagepng($image, $fichierpng);

$imagegif=$header['tmp_name'];
$src_png=imagecreatefromgif('$imagesgif');	
$picture=imagepng($src_png,'$imagesgif');
copy($picture, "./header$codelieu.png");
imageDestroy($src_png);

Discussions similaires