Not from any reports I’ve ever read
There was one saying €6m.
https://www.101greatgoals.com/news/transfers/revealed-tottenhams-buy-option-on-clement-lenglet/
But lenglet himself came out and said there was no option.
https://onefootball.com/en/news/the...on-his-long-term-future-at-tottenham-36083726