1: \begin{abstract}

2: We prove a simplicity criterion for certain twin tree lattices.

3: It applies to all rank two Kac--Moody groups over finite fields with non-trivial commutation relations, thereby yielding  examples of simple non-uniform lattices in the product of two trees. 

4: %Simplicity is established by implementing a strategy due to Burger--Mozes. Infinite quotients are excluded using Bader--Shalom's version of Margulis Normal Subgroup Theorem; finite quotients are excluded using a remark about non residual finiteness of some wreath products.

5: %Hyperbolicity, in some suitable sense, is again a strong underlying idea, as for the case of higher-dimensional twin buildings which is partly recalled in this paper.

6: \end{abstract}

7: