Définitionsfaire tourner une machine