let get_proj_appli proj = proj.T.application