Dear friends, In 1997 or 1998 I began to write a paper [20], trying to extend the known description of binary forms of norm unity, in the real or complex cases, to the case of quaternions, but I never finished it. In 2002, I resumed my work but then I was unable to understand what I had done, so I made a fresh start with somewhat different assumptions. Now I have realized that this was a gross ...