Les langages synchrones et la programmation des systèmes réactifs — Électricité de France. Direction des études et recherches