Ordre des quantificateurs !

Tu définis un élément p, puis une fonction epsilon, et ensuite tu énonces une propriété sur epsilon(p) ?
bof bof…