37.6.1.4.1. MSI cache coherence protocol with transient states

TODO understand well why those are needed.