Expériences en synthèse logique — Yves Durand