Non, c'est une hypothèse NFA sur l'ETH