Machines abstraites : description, début d'exemple.