Buffer plein -> P2 sort de la file d'attente (C1, C2) et entre en SC, P1 se met en attente (P1, C1, C2).
Or le buffer est plein, donc P2 se met en attente dans la file (P2, P1, C1, C2).
-> donc C1, C2, P1, P2 sont en attente dans la file (P2, P1, C1, C2)
Buffer plein -> P2 sort de la file d'attente (C1, C2) et entre en SC, P1 se met en attente (P1, C1, C2).
Or le buffer est plein, donc P2 se met en attente dans la file (P2, P1, C1, C2).
-> donc C1, C2, P1, P2 sont en attente dans la file (P2, P1, C1, C2)