informatique:linux:changer-le-nom-de-machine