Une étude des stratégies de séparation des systèmes pour l'exploitation insulaire des systèmes électriques : une méthode en deux phases basée sur les OBDDs | Synapse