SYSACT, un outil d'aide à la conception et à l'écriture de systèmes distribués — Alain Vailly