J'aime bien l'injection de NxN dans N (x,y) -> 2x3y