Transmission du bon profil dans l'arbre typé, et correction d'une erreur pour le typage des fonctions appliquées