Détection d'erreurs en programmation en logique.