Hooks : automatiser les invariants

Faire exécuter des commandes déterministes par le harnais à chaque événement, pour garantir ce que le modèle ne doit pas oublier.