Raffinage de l événement abstrait 1) Raffinage de l événement abstrait ML_OUT == WHEN n < d THEN n := n + 1 END en : ML_OUT == WHEN a + b + c < d & c = 0 /* On a renforcé la garde */ THEN a := a + 1 END
{}