Simplification automatique dans FORMAC | Synapse