Algèbre et logique — Hourya Benis-Sinaceur