Corrige de la partie B. On se rapporte aux machines T0 et T1 de la distribution jointe Corrige0409.zip Question 1 : Réponse avec Rodin sur la machine S0 Question 2: Solution : machine T0 Question 3 : On trouvera les obligations de cette machine avec Rodin Question 4 : La machine T1 ci jointe utilise les variables hi et lo pour resteindre l'intervalle ou peut se trouver x. L'evenement final find se déclenche lorsque l'intervalle lo..hi est exactement l'intervalle ou se trouve x.