OK. I do it by losing a little efficiency: copy values in the copy constructor