let
get_proj_appli proj = proj.
T
.application