ajouter de la vérifiabilité à la pile