Un protocole de tolérance aux pannes pour objets actifs non préemptifs.