Am a bit ashamed and very sorry for the confusion. You are right, Google Play is there, but frankly I never used it. If I am looking for an app, I launch Edge (in my case), search for the app, find in the Google Store (here is / was my mistake: it isn't 'Store', which I always believed it was...