Source TeX:
A \times B = \bigl\{ { (x,y) \; \vert \; x \in A \text{ et } y \in B} \bigr\}