Changer le nom du fichier source à la création (Feature #611)

Bonjour,
à la création d'un projet quand on choisit l'option "à partir d' un fichier" le fichier est copié dans le répertoire avec le même nom .
Il faut alors aller éditer le fichier options.xml pour changer le nom du fichier source (ou copier/renommer le fichier).
Quand on voudrait que le fichier source du devoir 2 s'appelle devoir2.tex et que celui du devoir 3 (pour lequel on modifiera le devoir2.tex)
s'appelle devoir3.tex cela ne semble pas le comportement optimal. (mais n'est pas très coûteux )
La possibilité de changer le nom du fichier source serait, il me semble, appréciable.

Cordialement,
Laurent.