Artículo 9 El que goza de un derecho de aprovechamiento puede hacer, a su costa, las obras indispensables para ejercitarlo