renommage de Machine en Prolog