Correction type des fonctions