Validation des spécifications algébriques par complétion inductive — Emmanuel Kounalis