ajout de copyStringFromMachine dans synchconsole.cc