Text this: Logique formelle et logique transcendantale ;