Algarve (Lagos): quand plonger