1 ressource : analyse formelle