ECRIVAIN=(en_attente_ecr -> ecriture -> en_ecriture -> fin_ecr -> ECRIVAIN).
LECTEUR=(en_attente_lect -> lecture -> en_lecture -> fin_lect -> LECTEUR).