Mentions légales du service
Both ity_app and ity_pur produce Ityapp(s,tl,[]) when s is a pure type such as int or list.