Le temps élargi : horloges multiples, temps discrets et temps continu

Synchronisons nos montres : la synchronisation d'horloges matérielles et logicielles en environnement distribué