El Algarve europeo pasó a ser el «Algarve de este lado del mar».