Sources of the distributed algorithme project, UPMC.