correction nom de fichier cnf dans appel sat4j