Séance 4.1: Coordination par mécanismes formels