Bonjour , en ce qui me concerne j'aimerai convertir une image gif en image jpeg en php, connaissez vous une fonction ou un code en php qui permet de faire ceci? Merci d'avance de m'orienter pour trouer la solution.