La logique formelle — Antoinette Virieux-Reymond