Ajout du cas Tpat_with dans le type Typedtree.pattern. Modif un peu partout pour que ça compile.