On commuting polynomial automorphisms of $\mathbb{C}^2$

Resum

We characterize the commuting polynomial automorphisms of $\mathbb{C}^2$, using their meromorphic extension to $\mathbb{P}^2$ and looking at their dynamics on the line at infinity.