The contangent complex of a product