Redéfinition de kinding et typing comme prédicats inductifs