How to install MySQL Server on Debian Stretch

How to install MySQL Server on Debian Stretch

For the impatient:

In the latest stable version of Debian, if you ask to install mysql-server, you now get installed mariadb automatically, with no (evident) way of installing Oracle’s MySQL. Any major version upgrade has to be done carefully