Remise à jour du projet sans adressage personnel à une machine.
Merge branch 'master' of https://github.com/Akoscianski/pintos2