Test : textes formels complexes