Sorry, I've never seen him play.
All I know is Lucas is a locked starter in Brazil U17. Tall, strong, very skilled. I've read people comparing him to Breno that went from Sao Paulo to Bayern. FYI, Breno here in Brazil, with 17yrs, was a fucking beast. He was unbelievable good. Monster potential. What fucked him was injuries and his crazy head.
Anyway, people who follow youth setup here have very high expectations on him. Sounds good to me. I don't think he's already played for the professional squad in competition games.
Marquinhos of PSG was also absolutely unknown here, if I'm not mistaken he also never played an official game for Corinthians. And Roma got him on a very cheap, for 4 or 5M.
- - - Updated - - -
Also about Brazilian market: Everton Ribeiro, 24, AM/W, very skilled and pacy, by very far the best player of this year's league, his breakout year, will leave Cruzeiro for an offer of 8/10M.
Get him right now!!! Great opportunity. I'm sure clubs with good scouting like Fiorentina and Napoli will be all over him.