renommé fichier assembleur de JCJ