Les premiers recursivements inaccessible et Mahlo et la theorie des dilatateurs. J.Y., Vauzeilles, J. Girard — 1984 Archiv für mathematische Logik und Grundlagenforschung