Ajout exclusivité/snooping. Non testé et fonctions dans cache.c à changer