Machines Logiques (NDS) - 2007