Un processus dans lequel le compilateur détermine le type de données d'une variable locale déclarée sans une déclaration de type de données explicite. Le type est déduit de la valeur initiale prévue de la variable.