First fully-polynomial transformer for distributed algorithms

There is a follow-up article: https://hal.science/hal-04173649