plus de vérifiabilité = plus d'EIGEN