Thank you again for the good advice. I'd like to ask:
1. Is this the correct syntax in sources.list for debian stable?: deb http://ftp.fr.debian.org/debian stable main
2. After installing an amd64 kernel from debian stable, will I need to update-grub, or will synaptic take care of that?
Thanks very much.