If the purchaser with a pact of redemption of an undivided part of an inheritance has become the successful bidder for the whole on an auction caused against him, he may oblige the seller to withdraw the whole when the latter wishes to make use of the pact.
.