Logique et fondements de l'informatique — Richard Lassaigne, Michel de Rougemont