[] <> (Conception_finished /\ RedactionTest_finished /\ RedactionDoc_finished /\ Programmation_finished);
[] <> (((Conception_idle /\ -Conception_running /\ -Conception_finished) \/ (-Conception_idle /\ Conception_running /\ -Conception_finished) \/ (-Conception_idle /\ -Conception_running /\ Conception_finished)) /\ ((RedactionTest_idle /\ -RedactionTest_running /\ -RedactionTest_finished) \/ (-RedactionTest_idle /\ RedactionTest_running /\ -RedactionTest_finished) \/ (-RedactionTest_idle /\ -RedactionTest_running /\ RedactionTest_finished)) /\ ((RedactionDoc_idle /\ -RedactionDoc_running /\ -RedactionDoc_finished) \/ (-RedactionDoc_idle /\ RedactionDoc_running /\ -RedactionDoc_finished) \/ (-RedactionDoc_idle /\ -RedactionDoc_running /\ RedactionDoc_finished)) /\ ((Programmation_idle /\ -Programmation_running /\ -Programmation_finished) \/ (-Programmation_idle /\ Programmation_running /\ -Programmation_finished) \/ (-Programmation_idle /\ -Programmation_running /\ Programmation_finished)));
[] <> ((Conception_finished => [](-Conception_running /\ -Conception_idle /\ Conception_started)) /\ (RedactionTest_finished => [](-RedactionTest_running /\ -RedactionTest_idle /\ RedactionTest_started)) /\ (RedactionDoc_finished => [](-RedactionDoc_running /\ -RedactionDoc_idle /\ RedactionDoc_started)) /\ (Programmation_finished => [](-Programmation_running /\ -Programmation_idle /\ Programmation_started)));