Laguna pequeña, VELILLA DE SAN ANTONIO