Ajout du protocole MESI pour les store. Fonctionne sur un exemple simple, mais il semble y avoir un problème avec les Write Back