correction ifstream non copiable