La structure comme contrainte : un cadre formel pour la non-derivabilité à travers les domaines | Synapse