//////////////////////////////////////////////////////////////////////////////////////////////////////
//Les différents états avec actions sur état
	1 :I,sortie4;
 	2 :I,sortie3:R,sortie4=IN;
	3 :I,sortie3:R,sortie4=IN;
////////////////////////////////////////////////////////////////////////////////////////////////////// 
//Transitions et actions sur transitions
	1 -> 2 ?NOT IN;
	1 -> 3 ?IN; 
	3 -> 2 ?NOT IN;
	2 -> 3 ?IN;
	3 -> 1 ?IN:I,sortie1:S,sortie2;
//////////////////////////////////////////////////////////////////////////////////////////////////////  
//Transitions avec état d'origine vide pour reset synchrone, actions sur reset
	->2 ?SRESET AND IN;
	->3 ?SRESET AND NOT IN: I,sortie2: R,sortie5=entree2;