@EU_Commission Top 500.org list only 2 European in the top 10 : https://www.top500.org/lists/top500/2023/06/ (Barcelona is nice to look at, but is 98)