Les audits trouvent des bugs qui existent. Les assertions empêchent des états qui ne devraient pas exister. L'un est réactif. L'autre est proactif.