correction formalisme Sequence ECF 3&4