MESI pour L3 avec automates