lac de ospedale, porto vecchio