25.07.2021_Gabarret_Deyris_Christophe_Avignon_Formelle_2e_Partie