Expression des communications entre processus d'un programme parallèle par des types abstraits. — Jacques Julliand