Lousxic : qu'un t soit remplacé par un x est la preuve de la puissance de variable du x, plus large qu'une constante déterminée
Felit : qu'un x soit remplacé par un t est aussi la preuve de la puissance de variable du x, interprétable par une constante déterminée
--> Exagérant