Ação especial n.º 80/72 See original record