O vício redibitório e o erro substancial