Self-Stabilizing Systems by Sebastien Tixeuil