ponderation-Minimal by Piotr Krzaczkowski