Version du serveur Linux

La méthode a été expliquée au printemps 2018 :