Local analytic classification of q-difference equations

We essentially achieve Birkhoff's program for q-difference equations by giving three different descriptions of the moduli space of isoformal analytic classes. This involves an extension of Birkhoff-Guenter normal forms, q-analogues of the so-called Birkhoff-Malgrange-Sibuya theorems and a new theory of summation. The results were announced in [C. R. Math. Acad. Sci.] and in various seminars and conferences between 2004 and 2006.