Auto-inscription adversariale : Un protocole de travail pour maintenir un programme théorique assisté par machine honnête | Synapse