Integration over the Pauli quantum group

We prove that the Pauli representation of the quantum permutation algebra As(4)As(4) is faithful. This provides the second known model for a free quantum algebra. We use this model for performing some computations and show that, at the level of the laws of diagonal coordinates, the Lebesgue measure appears between the Dirac mass and the free Poisson law.