autorización del juez, y durará el depósito hasta que el vendedor haga cesar la