change default search engine in Chrome

The default Google Chrome search engine is, without surprise, Google. That is just perfect for the vast majority of users. However there are some Internet users who might want to…