tokens: Acerca de sua construção e toponímia , a tradição local afirma que , certo dia em que o rei João III de Portugal visitava o mosteiro , e deparando com um amplo espaço desaproveitado , esboçou na manga do seu gibão um claustro e jardim circundante , que mandou depois executar .