Causalité modulaire dans un langage de flots synchrone.