Reformulations dans la complexité de méth. 3