Apparently very simple, if what I’ve just done has a lasting effect:
- click on the down-pointing arrowhead to the right of the search icon in the search bar (this reveals a list of installed searches and ‘Manage search engines…’),
- double-click on the engine you want as default,
- done!