Une formalisation mathématique de la dynamique des répliques parallèles | Synapse