Copier un fichier.
"premiertexte" est le fichier à copier.
"double" est le nom du fichier (qui sera créé s'il n'existe pas) dans lequel on met la copie de "premiertexte".