Fonction string_of_uri remplacée par celle donnée sur la liste de diffusion par R. Di Cosmo.