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.