1: \begin{abstract}

2: Let $\cS\subset \{-1,0,1\}^2\setminus\{(0,0)\}$. We address the enumeration of 

3: plane lattice walks with steps

4: in $\cS$,  that start from $(0,0)$ and always remain in the first

5: quadrant $\{(i,j): i\ge 0, j\ge 0\}$. \emm A priori,, there are   $2^8$

6: problems of this type, but some  are trivial. Some others are equivalent

7: to a model of walks confined to a half-plane: such models can be

8: solved systematically using the kernel method, which leads to

9:  algebraic \gfs. We focus on the remaining cases, and show that

10: there are  79  inherently different problems to study. 

11: 

12: To each of

13: them, we associate a group $G$ of birational transformations. We show

14: that this group is finite (of order at most 8) in 23 cases, and

15: infinite in the 56 other cases. 

16: % 

17: 

18: 

19: We present a unified way of solving 22 of the 23 models associated

20: with a finite group. For all of them, the \gf\ is found to be D-finite. The 23rd

21: model, known as Gessel's walks, has recently been proved by Bostan

22: \emm et al., to have an

23: algebraic (and hence D-finite) solution. 

24: %Hence  all models with a finite group have a D-finite solution.

25: %

26: We conjecture that the remaining 56 models, associated with an

27: infinite group, have a non-D-finite \gf.

28: 

29: Our approach allows us to  recover and refine some known results, and

30: also to obtain new results. For instance, we prove that walks with \NN, \EE, \WW, \SS,

31: \SW \ and \NE\ steps have an algebraic  \gf.

32: 

33: \end{abstract}

34: