Oubli de vérification de type bien formé