Quelles hypothèses concernant la synchronisation du réseau sont nécessaires pour que les garanties de finalité de Babylon restent valables ?