Formalisation des relations temporelles dans un contexte d’accompagnement automatique. Stratégies de synchronisation et gestion des erreurs