Synchronisation et état global dans les systèmes répartis — Michel Raynal