vérification théorèmes Sigma4