Claustro da Manga, Jardim da Manga, Fonte da Manga (nome próprio)