Thank you very much!
This was indeed a ... stupid question.
This means that, so far, there is no debian distribution available for AMD64. I have seen no other debian distribution with a name suggesting 64 bits. This is why I jumped on ia64.
So, in order to work in 64 bits, I will have to use another distribution.
Thanks again!