algorithme de Peterson