traces-vérification des preuves