Vérification de l'indépendance algébrique des entiers algébriques