Tout est vérifiable Rien d'autre n'a d'importance EIGEN