2020-2021/TST/04_Formalisation_des_suites/1B_formalisation.pdf