Praia dos Pinheiros and the eastern end of Meia Praia, both in the Lagos area.