Two oiseau decompositions of permutations and their application to Eulerian calculus

Two transformations are constructed that map the permutation group onto a well-defined subset of a partially commutative monoid generated by the so-called oiseaux. Those transformations are then used to show that some bivariable statistics introduced by Babson and Steingrímsson are Euler–Mahonian.