Machines spécialisées et programmation en logique — Gilles Berger-Sabbatel